[klee-dev] messages during klee processing

[Urmas Repinski]

Hello.

Is it possible to turn on some reasonable messages during KLEE processing?

if i set    -debug-print-instructions      option, i get a lot of things printed, but nothing meaningful.

I can add manual messages to the code using klee_warning(...) statement, but it is printed all the time and nothing meaningful again.

Is it possible to print which test is generated so far and how many total should be (approximately), i see in klee-last folder that tests are generated constantly during klee processing, but unfortunately nothing visible.

Urmas Repinski.
 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed