Print current depth in BMC progress debug logging

tautschnig · tautschnig · commit 75f021c46d58 · 2018-06-04T17:49:29.000Z
diff --git a/src/cbmc/symex_bmc.cpp b/src/cbmc/symex_bmc.cpp
@@ -38,9 +38,8 @@ void symex_bmct::symex_step(
 
   if(!source_location.is_nil() && last_source_location!=source_location)
   {
-    log.debug() << "BMC at file " << source_location.get_file() << " line "
-                << source_location.get_line() << " function "
-                << source_location.get_function() << log.eom;
+    log.debug() << "BMC at " << source_location.as_string()
+                << " (depth " << state.depth << ')' << log.eom;
 
     last_source_location=source_location;
   }

Original file line number	Diff line number	Diff line change
`@@ -38,9 +38,8 @@ void symex_bmct::symex_step(`
`38`	`38`
`39`	`39`	`if(!source_location.is_nil() && last_source_location!=source_location)`
`40`	`40`	`{`
`41`		`- log.debug() << "BMC at file " << source_location.get_file() << " line "`
`42`		`- << source_location.get_line() << " function "`
`43`		`- << source_location.get_function() << log.eom;`
	`41`	`+ log.debug() << "BMC at " << source_location.as_string()`
	`42`	`+ << " (depth " << state.depth << ')' << log.eom;`
`44`	`43`
`45`	`44`	`last_source_location=source_location;`
`46`	`45`	`}`