add new test case

cucapra · Aug 9, 2024 · 2e70611 · 2e70611
1 parent 2680a3d
commit 2e70611
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/dsl/lib/policy.ml b/dsl/lib/policy.ml
@@ -53,8 +53,9 @@ let rec eval cl st (used : string list ref) p =
       TokenBucket (eval_plst cl st used plst, n1, n2)
   | Ast.StopAndGo (plst, n) -> StopAndGo (eval_plst cl st used plst, n)
 
-(* Evaluates a program, looking up any variables and substituting them in. *)
-let from_program (cl, alst, ret) = eval cl alst (ref []) ret
+(* Evaluates a program, looking up any variables and substituting them in. It returns
+   the final policy with any variables substituted in. *)
+let from_program (cl, alst, ret) : t = eval cl alst (ref []) ret
 
 let rec to_string p =
   let bracket_wrap s = "[" ^ s ^ "]" in

diff --git a/dsl/test/well_formed.ml b/dsl/test/well_formed.ml
@@ -62,6 +62,8 @@ let error_tests =
       "incorrect/unbound_var_hier.sched" (Policy.UnboundVariable "r_polic");
     make_error_test "class used twice in policy"
       "incorrect/duplicate_classes.sched" (Policy.DuplicateClass "B");
+    make_error_test "class used twice in one fifo"
+      "incorrect/duplicate_samepol.sched" (Policy.DuplicateClass "A");
   ]
 
 let suite = "suite" >::: tests @ error_tests

diff --git a/progs/incorrect/duplicate_samepol.sched b/progs/incorrect/duplicate_samepol.sched
@@ -0,0 +1,5 @@
+classes A, B;
+
+x = fifo[A, A];
+
+return x