- Set clone test in accordance with observation on generated AlarmPP

example where freeing the source of a cloned value frees the clone. Not reproducible in the runtime library. - Addresses #87.
overturetool · Apr 17, 2017 · 1f2e216 · 1f2e216
1 parent 4145e1a
commit 1f2e216
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/c/vdmclib/src/test/ExpressionsSet_Tests.cpp b/c/vdmclib/src/test/ExpressionsSet_Tests.cpp
@@ -938,6 +938,21 @@ TEST(Expression_Set, setPower)
 	vdmFree(res);
 }
 
+TEST(Expression_Set, setCloneFree)
+{
+	TVP set1;
+	TVP set3;
+
+	vdm_gc_init();
+	set1 = newSetVar(1, newInt(1));
+	TVP set2 = vdmCloneGC(set1, &set2);
+	set3 = set2;
+	vdmFree(set1);
+	vdm_gc_shutdown();
+
+	EXPECT_TRUE(set2 == set3);
+}
+
 
 
 /*