disable consistency checks for markus

viperproject · Sep 12, 2023 · e83b7b8 · e83b7b8
1 parent c9a6800
commit e83b7b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/Silicon.scala b/src/main/scala/Silicon.scala
@@ -184,7 +184,7 @@ class Silicon(val reporter: Reporter, private var debugInfo: Seq[(String, Any)]
     MultiRunRecorders.source = inputFile
 
     // TODO: Check consistency of cfgs.
-    val consistencyErrors = utils.consistency.check(program)
+    //val consistencyErrors = utils.consistency.check(program)
 
     if (consistencyErrors.nonEmpty) {
       SilFailure(consistencyErrors)