error report empty
(too old to reply)
Esser, Michael
2014-06-25 13:05:43 UTC
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,

[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-AWz+***@public.gmane.org <mailto:Michael.Esser-AWz+***@public.gmane.org> | 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
Daniel Liew
2014-06-27 15:44:47 UTC
Post by Esser, Michael
But if run the examples the test-N.xxx.err files are empty.
What can I do?
Did you remember to compile your application with debug information
(``-g`` flag to llvm-gcc or clang)?

Help would probably more forthcoming if you provided a test program
that caused test-N-xxx.err files to be empty.

Daniel Liew
2014-07-04 15:00:32 UTC
Hi Michael,

Thanks very much for reporting this! I can reproduce this bug.

This is a recent regression that crept in when we switched to using
llvm raw_ostreams rather than the std:: streams.

I've fixed this in my own branch (and added a test case) and have
issued a pull request (https://github.com/klee/klee/pull/133) to the
main KLEE repository.

Until this is merged (I can't do this) you can grab my changes by doing

$ git checkout -b temporary_branch_name
$ git pull git-9UaJU3cA/F/QT0dZR+***@public.gmane.org:delcypher/klee.git fix_empty_error_report

which should hopefully fix your issue.