Merge branch 'main' into jlee/semanticeval-onestoreinput

Author: aqjune-aws

Tools/BoogieToStrata/Tests/Axioms.expect

@@ -0,0 +1,7 @@
+Successfully parsed.
+assert_0: verified
+assert_1: verified
+assert_2: verified
+assert_3: unknown
+assert_4: verified
+Finished with 4 goals proved, 1 failed.

Tools/BoogieToStrata/Tests/BooleanQuantification.expect

@@ -0,0 +1,10 @@
+Successfully parsed.
+assert_0: verified
+assert_1: verified
+assert_2: verified
+assert_3: unknown
+assert_4: verified
+assert_5: verified
+assert_6: failed
+CEx: 
+Finished with 5 goals proved, 2 failed.

Tools/BoogieToStrata/Tests/Lambda.expect

@@ -0,0 +1,14 @@
+Successfully parsed.
+P_ensures_0: verified
+assert_0: verified
+assert_1: verified
+assert_2: verified
+assert_3: verified
+assert_4: verified
+assert_5: unknown
+assert_6: unknown
+assert_7: verified
+assert_8: verified
+assert_9: verified
+assert_10: verified
+Finished with 10 goals proved, 2 failed.

Tools/BoogieToStrata/Tests/Quantifiers.expect

@@ -0,0 +1,16 @@
+Successfully parsed.
+assert_0: verified
+assert_1: unknown
+assert_2: verified
+assert_3: unknown
+assert_4: verified
+assert_5: unknown
+assert_6: unknown
+assert_7: verified
+assert_8: verified
+assert_9: verified
+assert_10: verified
+assert_11: verified
+assert_12: verified
+assert_13: verified
+Finished with 10 goals proved, 4 failed.