Urmas Repinski
2013-03-14 16:25:54 UTC
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.
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.