don't use '--analyse' in tests, whoops

UQ-PAC · Oct 12, 2023 · 96bc93f · 96bc93f
1 parent 3835365
commit 96bc93f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/test/scala/SystemTests.scala b/src/test/scala/SystemTests.scala
@@ -44,9 +44,9 @@ class SystemTests extends AnyFunSuite {
     val RELFPath = variationPath + ".relf"
     Logger.info(outPath)
     if (File(specPath).exists) {
-      Main.main(Array("--adt", ADTPath, "--relf", RELFPath, "--spec", specPath, "--output", outPath, "--analyse"))
+      Main.main(Array("--adt", ADTPath, "--relf", RELFPath, "--spec", specPath, "--output", outPath))
     } else {
-      Main.main(Array("--adt", ADTPath, "--relf", RELFPath, "--output", outPath, "--analyse"))
+      Main.main(Array("--adt", ADTPath, "--relf", RELFPath, "--output", outPath))
     }
     Logger.info(outPath + " done")
     val boogieResult = Seq("boogie", "/timeLimit:10", "/printVerifiedProceduresCount:0", "/useArrayAxioms", outPath).!!