Retrace color inconsistent decision

lks9 · lks9 · commit 2a33ccc38e90 · 2025-05-05T12:07:50.000+02:00
diff --git a/src/goto-symex/symex_goto.cpp b/src/goto-symex/symex_goto.cpp
@@ -703,7 +703,8 @@ void goto_symext::symex_goto_retrace(statet &state)
   // warn when not following unconditional goto
   if(new_guard.is_true() && !choose_goto)
   {
-    log.warning() << "Retrace input inconsistent: 0/NEXT although guard is true!" << log.eom;
+    log.warning() << "Retrace input \033[31minconsistent\033[0m: 0/NEXT although guard is true!"
+                  << log.eom;
   }
   else if(new_guard.is_false() && choose_goto)
   {

Original file line number	Diff line number	Diff line change
`@@ -703,7 +703,8 @@ void goto_symext::symex_goto_retrace(statet &state)`
`703`	`703`	`// warn when not following unconditional goto`
`704`	`704`	`if(new_guard.is_true() && !choose_goto)`
`705`	`705`	`{`
`706`		`- log.warning() << "Retrace input inconsistent: 0/NEXT although guard is true!" << log.eom;`
	`706`	`+ log.warning() << "Retrace input \033[31minconsistent\033[0m: 0/NEXT although guard is true!"`
	`707`	`+ << log.eom;`
`707`	`708`	`}`
`708`	`709`	`else if(new_guard.is_false() && choose_goto)`
`709`	`710`	`{`