Add current monitor output for loop_with_assigns.prot & busy_wait.prot

Author: ngernest

monitor/tests/adders/busy_wait.out

@@ -1,5 +1,28 @@
 // trace 0
 trace {
-    add_busy_wait(1, 2, 1, 3); 
-    add_busy_wait(4, 5, 3, 9);
+    add_busy_wait(1, 2, 0, 0);
+}
+
+// trace 1
+trace {
+    add_busy_wait(4, 5, 3, 3);
+}
+
+// trace 2
+trace {
+    add_busy_wait(1, 2, 1, 3);
+    add_busy_wait(4, 5, 2, 9);
+}
+
+// trace 3
+trace {
+    add_busy_wait(4, 5, 2, 3);
+    add_busy_wait(4, 5, 1, 9);
+}
+
+// trace 4
+trace {
+    add_busy_wait(1, 2, 1, 3);
+    add_busy_wait(4, 5, 1, 9);
+    add_busy_wait(4, 5, 1, 9);
 }

monitor/tests/adders/loop_with_assigns.err

@@ -1,5 +1,31 @@
-// trace 0 
+// trace 0
 trace {
-    loop_add(1, 2, 3, 3);   
-    loop_add(10, 20, 1, 30); 
-}
+    loop_add(1, 2, 3, 3);
+    loop_add(10, 20, 1, 30);
+    loop_add(198490043, 4254467669, 1, 30);
+}
+
+// trace 1
+trace {
+    loop_add(1, 2, 1, 3);
+    loop_add(1, 2, 2, 3);
+    loop_add(10, 20, 1, 30);
+    loop_add(198490043, 4254467669, 1, 30);
+}
+
+// trace 2
+trace {
+    loop_add(1, 2, 2, 3);
+    loop_add(1, 2, 1, 3);
+    loop_add(10, 20, 1, 30);
+    loop_add(198490043, 4254467669, 1, 30);
+}
+
+// trace 3
+trace {
+    loop_add(1, 2, 1, 3);
+    loop_add(1, 2, 1, 3);
+    loop_add(1, 2, 1, 3);
+    loop_add(10, 20, 1, 30);
+    loop_add(198490043, 4254467669, 1, 30);
+}