Hi all, I have now succesfully build klee.
But if run the examples the test-N.xxx.err files are empty. What can I do? 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
