From 7a9ae60f44ceb3cea56188152921f72f7c14e70e Mon Sep 17 00:00:00 2001 From: l-kent Date: Thu, 12 Oct 2023 09:24:53 +1000 Subject: [PATCH] add /useArrayAxioms to tests --- src/test/scala/SystemTests.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/scala/SystemTests.scala b/src/test/scala/SystemTests.scala index 0fdab788a..20cdcaf25 100644 --- a/src/test/scala/SystemTests.scala +++ b/src/test/scala/SystemTests.scala @@ -47,7 +47,7 @@ class SystemTests extends AnyFunSuite { Main.main(Array("--adt", ADTPath, "--relf", RELFPath, "--output", outPath)) } println(outPath) - val boogieResult = Seq("boogie", "/timeLimit:10", "/printVerifiedProceduresCount:0", outPath).!! + val boogieResult = Seq("boogie", "/timeLimit:10", "/printVerifiedProceduresCount:0", "/useArrayAxioms", outPath).!! val resultPath = variationPath + "_result.txt" log(boogieResult, resultPath) val verified = boogieResult.strip().equals("Boogie program verifier finished with 0 errors")