Test that the map inverse operator code generates correctly

Addresses #44
overturetool · Oct 28, 2016 · aa77227 · aa77227
1 parent a2baec1
commit aa77227
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/core/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp b/core/vdm2c/src/test/resources/native/map/ExpressionsMap_Tests.cpp
@@ -40,3 +40,8 @@ TEST(ExpressionMap, mapNeq)
 {
 	CHECK(CLASS_ExpressionMap__Z6mapNeqEV);
 }
+
+TEST(ExpressionMap, mapInv)
+{
+	CHECK(CLASS_ExpressionMap__Z6mapInvEV);
+}
diff --git a/core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt b/core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionMap.vdmrt
@@ -21,4 +21,7 @@ mapEq () ==  {1 |-> 2, 3 |-> 4} = {3 |-> 4, 1 |-> 2};
 public mapNeq :  () -> bool
 mapNeq () ==  {1 |-> 2, 3 |-> 4} <> {30 |-> 40, 10 |-> 20};
 
+public mapInv :  () -> bool
+mapInv () == inverse {1 |-> 2, 3 |-> 4} = {4 |-> 3, 2 |-> 1} 
+
 end ExpressionMap