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.: [phone] | Fax: [phone]
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]

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.

Thanks,
Dan.

[Daniel Liew]

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.

Thanks,
Dan