update tests

granule-project · Mar 8, 2024 · ee6e11c · ee6e11c
1 parent a407009
commit ee6e11c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/frontend/tests/cases/synthesis/graded-base/bool/and.gr.output b/frontend/tests/cases/synthesis/graded-base/bool/and.gr.output
@@ -2,7 +2,7 @@ language GradedBase
 
 data Bool = True | False
 
-and : Bool %0..∞ -> Bool %0..∞ -> Bool
+and : Bool %1 -> Bool %1 -> Bool
 spec
     and True True = True;
     and False True = False;

diff --git a/frontend/tests/cases/synthesis/security.gr b/frontend/tests/cases/synthesis/security.gr
@@ -1,2 +1,2 @@
 dontLeak : forall {a b : Type} . (a [Public], a [Private]) -> ((a, ()) [Public] -> b) -> b
-dontLeak = ?
+dontLeak = ?