Test that for loop issue is fixed

Closes #66
overturetool · Jan 30, 2017 · 8d13506 · 8d13506
1 parent fa70d8c
commit 8d13506
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/core/vdm2c/src/test/resources/native/forloop/ExpressionsForloop_Tests.cpp b/core/vdm2c/src/test/resources/native/forloop/ExpressionsForloop_Tests.cpp
@@ -36,3 +36,8 @@ TEST(Expression_Seq, forseq)
 {
 	CHECK(CLASS_ExpressionForLoop__Z6forseqEV);
 }
+
+TEST(Expression_Seq, testSumOneToFive)
+{
+	CHECK(CLASS_ExpressionForLoop__Z16testSumOneToFiveEV);
+}
diff --git a/core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionForLoop.vdmrt b/core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionForLoop.vdmrt
@@ -50,6 +50,16 @@ forseq()==(
 	return tmp=10;
 );
 
+public testSumOneToFive : () ==> bool
+testSumOneToFive () ==
+(
+ dcl res : nat := 0;
+ for i = 1 to 5 do
+  res := res + i;
+ return res = 15;
+);
+
+
 /*
 
 TVP col = newSet/seqvar(4,1,2,3,4);