post-merge-test-update 2

tests/exhaustive/issues/102/expected/model-solution000001.solution

@@ -0,0 +1,28 @@
+language Essence 1.3
+
+letting actions be sequence((8, 5, 5), (5, 3, 3), (3, 8, 3), (5, 3, 2), (8, 5, 5), (5, 3, 1), (3, 8, 3))
+$ Visualisation for actions
+$ 8 5 5
+$ 5 3 3
+$ 3 8 3
+$ 5 3 2
+$ 8 5 5
+$ 5 3 1
+$ 3 8 3
+
+letting nbActions be 7
+letting states be
+        sequence(function(3 --> 0, 5 --> 0, 8 --> 8), function(3 --> 0, 5 --> 5, 8 --> 3),
+                 function(3 --> 3, 5 --> 2, 8 --> 3), function(3 --> 0, 5 --> 2, 8 --> 6),
+                 function(3 --> 2, 5 --> 0, 8 --> 6), function(3 --> 2, 5 --> 5, 8 --> 1),
+                 function(3 --> 3, 5 --> 4, 8 --> 1), function(3 --> 0, 5 --> 4, 8 --> 4))
+$ Visualisation for states
+$ 0 0 8
+$ 0 5 3
+$ 3 2 3
+$ 0 2 6
+$ 2 0 6
+$ 2 5 1
+$ 3 4 1
+$ 0 4 4
+

tests/exhaustive/issues/166/expected/model_1_1-solution000001.solution

@@ -0,0 +1,6 @@
+language Essence 1.3
+
+letting y be
+        tuple ([(10, function(1 --> {1, 2}, 2 --> {1}, 3 --> {}), 33),
+                (11, function(1 --> {1, 2}, 2 --> {1}, 3 --> {}), 55);
+                    int(1..2)])

tests/exhaustive/issues/166/expected/model_1_2-solution000001.solution

@@ -0,0 +1,6 @@
+language Essence 1.3
+
+letting y be
+        tuple ([(10, function(1 --> {1, 2}, 2 --> {1}, 3 --> {}), 33),
+                (11, function(1 --> {1, 2}, 2 --> {1}, 3 --> {}), 55);
+                    int(1..2)])

tests/exhaustive/issues/166/expected/model_1_3-solution000001.solution

@@ -0,0 +1,6 @@
+language Essence 1.3
+
+letting y be
+        tuple ([(10, function(1 --> {1, 2}, 2 --> {1}, 3 --> {}), 33),
+                (11, function(1 --> {1, 2}, 2 --> {1}, 3 --> {}), 55);
+                    int(1..2)])