Extended symex progres statistics

tautschnig · tautschnig · commit c69a21b1923f · 2017-08-03T23:18:43.000+01:00
diff --git a/src/symex/path_search.cpp b/src/symex/path_search.cpp
@@ -102,10 +102,13 @@ path_searcht::resultt path_searcht::operator()(
 
       if(number_of_steps%1000==0)
       {
+        time_periodt running_time=current_time()-start_time;
         status() << "Queue " << queue.size()
                  << " thread " << state.get_current_thread()+1
                  << '/' << state.threads.size()
-                 << " PC " << state.pc() << messaget::eom;
+                 << " PC " << state.pc()
+                 << " [" << number_of_steps << " steps, "
+                 << running_time << "s]" << messaget::eom;
       }
 
       // an error, possibly?

Original file line number	Diff line number	Diff line change
`@@ -102,10 +102,13 @@ path_searcht::resultt path_searcht::operator()(`
`102`	`102`
`103`	`103`	`if(number_of_steps%1000==0)`
`104`	`104`	`{`
	`105`	`+ time_periodt running_time=current_time()-start_time;`
`105`	`106`	`status() << "Queue " << queue.size()`
`106`	`107`	`<< " thread " << state.get_current_thread()+1`
`107`	`108`	`<< '/' << state.threads.size()`
`108`		`- << " PC " << state.pc() << messaget::eom;`
	`109`	`+ << " PC " << state.pc()`
	`110`	`+ << " [" << number_of_steps << " steps, "`
	`111`	`+ << running_time << "s]" << messaget::eom;`
`109`	`112`	`}`
`110`	`113`
`111`	`114`	`// an error, possibly?`