Commit f1a6871902f9b9538adc6340c0983f9755250adf
2024-02-10T09:42:17
test ic3 block
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54
diff --git a/.ic3_history b/.ic3_history
index 97e3930..151dab3 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,8 +1,3 @@
-GL.Point2D{}
-GL.Point2D
-{}
-facts_next_id
-facts_next_id()
4 * 27
24 * 7
4.0/1920.0
@@ -97,3 +92,8 @@ end
234
123/123
123/ 123
+do
+1
+1 + 1
+2 + 2
+end
diff --git a/test/ic3/block.in b/test/ic3/block.in
index 6ed5406..8c741de 100644
--- a/test/ic3/block.in
+++ b/test/ic3/block.in
@@ -28,3 +28,13 @@ quote do 1; 2; end
do 1; 2; end
quote do 1; 2; 3; end
do 1; 2; 3; end
+quote do
+ 1 + 1
+ 2 + 2
+ 3 + 3
+end
+do
+ 1 + 1
+ 2 + 2
+ 3 + 3
+end
diff --git a/test/ic3/block.out.expected b/test/ic3/block.out.expected
index fc87f5e..0dc82f7 100644
--- a/test/ic3/block.out.expected
+++ b/test/ic3/block.out.expected
@@ -28,3 +28,9 @@ do
3
end
3
+do
+ 1 + 1
+ 2 + 2
+ 3 + 3
+end
+6