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.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
