Hi,
I'm new to klee and have some questions:
1.
If I execute a simple code I get the errors as expected but test*.*.err-file is
empty.
What's wrong?
2.
I want to produce an error (or a test case) for the default path of a
switch/case-statement like:
switch (x){
case 1: return 0; break;
default:
klee_assert(0);
}
There is no file like test*.assert.err.
What can I do?
3.
I want to check for division by zero.
What have I to code or to enable that the case is detected.
(It seems to that -check-div-zero is not enough)
Best regards,
Michael
[Logo Berner und Mattner]
Michael Eßer | Senior System Engineer | AUTOMOTIVE
Berner & Mattner Systemtechnik GmbH | Erwin-von-Kreibig-Straße 3 | 80807
München (Germany)
Tel.: +49 89 608090-417 | Fax: +49 89 60 98-182
[email protected] <mailto:[email protected]> |
Infos: www.berner-mattner.com
<http://www.berner-mattner.com/de/berner-mattner-home/unternehmen/index.html>
________________________________
Berner & Mattner Systemtechnik GmbH: Sitz der Gesellschaft | Corporate
Headquarters: München
Registereintragung | Commercial Register: Amtsgericht München HRB 83252
Geschäftsführung | Management Board: Dr. Klaus Eder
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
