added expect files

NamrathaG · NamrathaG · commit ba5f5e0457e6 · 2025-12-04T22:26:38.000+01:00
diff --git a/Test/civl/samples/TryInc.bpl.expect b/Test/civl/samples/TryInc.bpl.expect
@@ -0,0 +1,2 @@
+
+Boogie program verifier finished with 2 verified, 0 errors
diff --git a/Test/civl/samples/TryIncN.bpl.expect b/Test/civl/samples/TryIncN.bpl.expect
@@ -0,0 +1,2 @@
+
+Boogie program verifier finished with 6 verified, 0 errors
diff --git a/Test/civl/samples/TryIncNBelowMax.bpl.expect b/Test/civl/samples/TryIncNBelowMax.bpl.expect
@@ -0,0 +1,2 @@
+
+Boogie program verifier finished with 8 verified, 0 errors

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+`
	`2`	`+Boogie program verifier finished with 2 verified, 0 errors`