MartinNowack
MartinNowack
Generate Mac app
This issue is intended to tie together a couple of PRs/issues. Instead of polluting the each of the PRs, I'm going to comment here. Currently a couple of PRs are...
Before, external changes to symbolic variables have not been propagated back to their internal representation. Do a byte-by-byte comparison and potential update if required. The test case is based on...
Currently, we don't clean-up generated bitcode files before executing new runs. As a result, changing instances of the same compiler version might result in clang failing to link bitcode modules...
KLEE can sometimes be slower when executing concrete - one reason is that is has not been optimised for it, this PR tries to reduce the overhead a bit. It...
Add option to generate xml testcases. This patch generates test cases as XML files. In addition, test-comp-specific, additional arguments are specific to generate experiment descriptions.
If compiled with `-D_FORTIFY_SOURCE=` certain function get replaced with safer version (e.g. using bounds checks). We might want to add those functions as additional intrinsics functions or freestanding.
Currently, most of the log data dumped to file is not necessarily easy to parse. Allowing more sophisticated logging mechanisms (e.g. based on YAML) allows us to combine readability and...
I opened this issues to streamline discussions here to a single place: @yuleisui I had a look at the failing test suite: The issue is that: 6fcf6cbba9c071b9cea541dbac33877223b2dc77 removed all the...