disable branchConditionReporting by default

tschoesi · tschoesi · commit eb188d0a59e2 · 2021-09-05T02:05:54.000+02:00
diff --git a/src/main/scala/Config.scala b/src/main/scala/Config.scala
@@ -510,7 +510,7 @@ class Config(args: Seq[String]) extends SilFrontendConfig(args, "Silicon") {
   )
   val enableBranchconditionReporting: ScallopOption[Boolean] = opt[Boolean]("enableBranchconditionReorting",
     descr = "Report branch conditions (can be useful for assertions that fail on multiple branches)",
-    default = Some(true),
+    default = Some(false),
     noshort = true
   )
 

Original file line number	Diff line number	Diff line change
`@@ -510,7 +510,7 @@ class Config(args: Seq[String]) extends SilFrontendConfig(args, "Silicon") {`
`510`	`510`	`)`
`511`	`511`	`val enableBranchconditionReporting: ScallopOption[Boolean] = opt[Boolean]("enableBranchconditionReorting",`
`512`	`512`	`descr = "Report branch conditions (can be useful for assertions that fail on multiple branches)",`
`513`		`- default = Some(true),`
	`513`	`+ default = Some(false),`
`514`	`514`	`noshort = true`
`515`	`515`	`)`
`516`	`516`