Fix symex thread statistics

tautschnig · tautschnig · commit 52db9e411891 · 2017-08-03T23:18:43.000+01:00
diff --git a/src/symex/path_search.cpp b/src/symex/path_search.cpp
@@ -103,7 +103,7 @@ path_searcht::resultt path_searcht::operator()(
       if(number_of_steps%1000==0)
       {
         status() << "Queue " << queue.size()
-                 << " thread " << state.get_current_thread()
+                 << " thread " << state.get_current_thread()+1
                  << '/' << state.threads.size()
                  << " PC " << state.pc() << messaget::eom;
       }

Original file line number	Diff line number	Diff line change
`@@ -103,7 +103,7 @@ path_searcht::resultt path_searcht::operator()(`
`103`	`103`	`if(number_of_steps%1000==0)`
`104`	`104`	`{`
`105`	`105`	`status() << "Queue " << queue.size()`
`106`		`- << " thread " << state.get_current_thread()`
	`106`	`+ << " thread " << state.get_current_thread()+1`
`107`	`107`	`<< '/' << state.threads.size()`
`108`	`108`	`<< " PC " << state.pc() << messaget::eom;`
`109`	`109`	`}`