turn off logging

uclid-org · May 7, 2024 · 68c4985 · 68c4985
1 parent 2001c72
commit 68c4985
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/main/resources/logback.xml b/src/main/resources/logback.xml
@@ -14,16 +14,17 @@
   <logger name="uclid.lang.ASTRewriter" level="OFF"/>
   <logger name="uclid.lang.ExprRewriterPass" level="OFF"/>
   <logger name="uclid.lang.BlockFlattenerPass" level="OFF"/>
+  <logger name="uclid.lang.BlockSorterPass" level="ON"/>
   <logger name="uclid.lang.ModularProductProgramPass" level="OFF"/>
   <logger name="uclid.lang.ConstantLitRewriterPass" level="OFF"/>
   <logger name="uclid.lang.ExpressionTypeCheckerPass" level="OFF"/>
   <logger name="uclid.lang.FindProcedureDependency" level="OFF"/>
   <logger name="uclid.lang.InlineProcedurePass" level="OFF"/>
   <logger name="uclid.lang.LazySCSolver" level="OFF"/>
   <logger name="uclid.lang.LTLPropertyRewriterPass" level="OFF"/>
-  <logger name="uclid.lang.ModuleFlattenerPass" level="ON"/>
+  <logger name="uclid.lang.ModuleFlattenerPass" level="OFF"/>
   <logger name="uclid.lang.ModuleInstanceCheckerPass" level="OFF"/>
-  <logger name="uclid.lang.ModuleInstantiatorPass" level="ON"/>
+  <logger name="uclid.lang.ModuleInstantiatorPass" level="OFF"/>
   <logger name="uclid.lang.ModuleTypesImportCollector" level="OFF"/>
   <logger name="uclid.lang.PassManager" level="OFF"/>
   <logger name="uclid.lang.PrimedVariableEliminatorPass" level="OFF"/>