[klee-dev] error report empty

[Esser, Michael]

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
Michael.Esser at berner-mattner.com <mailto:Michael.Esser at berner-mattner.com> | 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
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 4923 bytes
Desc: image001.png
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20140625/2113b75f/attachment.png>