don't process asserts for output if there aren't any

Fault-lang · Aug 25, 2023 · 045a4e6 · 045a4e6
1 parent 51bd49d
commit 045a4e6
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/execute/format.go b/execute/format.go
@@ -69,11 +69,12 @@ func (mc *ModelChecker) EventLog(results map[string]Scenario) {
 
 	deadVars := mc.DeadVariables()
 	mc.Log.FilterOut(deadVars)
-
-	mc.CheckAsserts(mc.Log.AssertChains)
-	violations := mc.FetchViolations()
-	out.WriteString("Model Properties and Invarients:\n")
-	out.WriteString(strings.Join(violations, "\n") + "\n\n")
+	if len(mc.Log.ProcessedAsserts) > 0 {
+		mc.CheckAsserts(mc.Log.AssertChains)
+		violations := mc.FetchViolations()
+		out.WriteString("Model Properties and Invarients:\n")
+		out.WriteString(strings.Join(violations, "\n") + "\n\n")
+	}
 
 	out.WriteString(mc.Log.String())