disable analyse (test fails)

UQ-PAC · Jan 24, 2025 · bd85487 · bd85487
1 parent 58616b6
commit bd85487
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/test/scala/IrreducibleLoop.scala b/src/test/scala/IrreducibleLoop.scala
@@ -18,7 +18,7 @@ import test_util.BASILTest.writeToFile
   */
 class IrreducibleLoop extends AnyFunSuite {
   val testPath = "./src/test/irreducible_loops"
-  Logger.setLevel(LogLevel.DEBUG)
+  Logger.setLevel(LogLevel.ERROR)
 
   def load(conf: ILLoadingConfig) : Program = {
     val bapProgram = IRLoading.loadBAP(conf.inputFile)
@@ -77,7 +77,7 @@ class IrreducibleLoop extends AnyFunSuite {
   test("testverify reduced irreducible_loop") {
     val path = testPath + "/irreducible_loop/irreducible"
     val outPath = s"$path.bpl"
-    val args = Array("-o", s"$outPath", "-i", s"$path.adt", "-r", s"$path.relf", "-s", s"$path.spec", "--analyse")
+    val args = Array("-o", s"$outPath", "-i", s"$path.adt", "-r", s"$path.relf", "-s", s"$path.spec", "--analyse", "-v")
 
     try {
       Logger.debug("main")