A few more expected output files for Boogie tests (#174)

Add expected output files for a few more BoogieToStrata tests.

By submitting this pull request, I confirm that you can use, modify,
copy, and redistribute this contribution, under the terms of your
choice.

Co-authored-by: Shilpi Goel <[email protected]>

Author: atomb

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.