Added some test for new functionality

cucapra · Oct 29, 2024 · c2b5eb7 · c2b5eb7
1 parent 051a35c
commit c2b5eb7
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/progs/incorrect/set_hierarchical.sched b/progs/incorrect/set_hierarchical.sched
@@ -0,0 +1,5 @@
+classes A, B;
+
+combined = rr[union[A, B]];
+
+return combined
diff --git a/progs/incorrect/set_multiple.sched b/progs/incorrect/set_multiple.sched
@@ -0,0 +1,5 @@
+classes A, B;
+
+combined = fifo[A, B];
+
+return combined
diff --git a/rio/tests/parsing.ml b/rio/tests/parsing.ml
@@ -71,6 +71,12 @@ let error_tests =
       "progs/incorrect/duplicate_classes.sched" (Policy.DuplicateClass "B");
     make_error_test "class used twice in one fifo"
       "progs/incorrect/duplicate_samepol.sched" (Policy.DuplicateClass "A");
+    make_error_test "fifo for multiple classes without union"
+      "progs/incorrect/set_multiple.sched"
+      (Parser.ParserError "Syntax error at line 3, character 17");
+    make_error_test "rr for classes without fifo'ing first"
+      "progs/incorrect/set_hierarchical.sched"
+      (Parser.ParserError "Syntax error at line 3, character 14");
   ]
 
 let suite = "parsing tests" >::: wc_tests @ error_tests (* @ nwc_tests *)