Add expected local types

zakcutner · Jan 19, 2024 · 557b12a · 557b12a
1 parent e270c7d
commit 557b12a
Show file tree

Hide file tree

Showing 3 changed files with 34 additions and 0 deletions.
diff --git a/examples/Running examples/plus_or_minus/A_expected.dot b/examples/Running examples/plus_or_minus/A_expected.dot
@@ -0,0 +1,8 @@
+digraph A {
+  0;
+  1;
+
+
+  0 -> 1 [label="B!Secret(n: i32)", ];
+
+  }
diff --git a/examples/Running examples/plus_or_minus/B_expected.dot b/examples/Running examples/plus_or_minus/B_expected.dot
@@ -0,0 +1,14 @@
+digraph B {
+  0;
+  1;
+  3;
+  7;
+
+
+  0 -> 1 [label="A?Secret(n: i32)", ];
+  1 -> 3 [label="C?Guess(x: i32)", ];
+  3 -> 1 [label="C!Less(x: i32{x > n})", ];
+  3 -> 1 [label="C!More(x: i32{x < n})", ];
+  3 -> 7 [label="C!Correct(x: i32{x = n})", ];
+
+  }
diff --git a/examples/Running examples/plus_or_minus/C_expected.dot b/examples/Running examples/plus_or_minus/C_expected.dot
@@ -0,0 +1,12 @@
+digraph C {
+  0;
+  2;
+  6;
+
+
+  0 -> 2 [label="B!Guess(x: i32)", ];
+  2 -> 0 [label="B?Less(x: i32{x > n})", ];
+  2 -> 0 [label="B?More(x: i32{x < n})", ];
+  2 -> 6 [label="B?Correct(x: i32{x = n})", ];
+
+  }