added test

nyu-acsys · May 5, 2024 · ad50290 · ad50290
1 parent 312a1ca
commit ad50290
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/test/ci/front-end/binders_typing.rav b/test/ci/front-end/binders_typing.rav
@@ -0,0 +1,3 @@
+func t() returns (ret:Bool) {
+  (forall x: Int :: true) && true
+}
diff --git a/test/ci/front-end/binders_typing.t b/test/ci/front-end/binders_typing.t
@@ -0,0 +1,2 @@
+  $ dune exec -- raven --shh ./binders_typing.rav
+  Verification successful.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		$ dune exec -- raven --shh ./binders_typing.rav
		Verification successful.