| Age | Commit message (Collapse) | Author |
|---|
|
category (with --write-cov, --write-cvcs etc.)
|
|
|
|
|
|
--external-calls, updated tests accordingly, and improved documentation on external calls
|
|
Otherwise optimizations done in klee won't have any effect.
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
|
|
parallel.
- It would be nice if there was an easier way to do this that didn't involve
editing all of the tests (like running each test in its own directory), but
this approach fixes #146 and doesn't involve changing 'lit' or writing a
wrapper harness. My assumption is a lot of tests start are derived from
another one, so hopefully following this convention won't be burdensome, and
I updated 'make check' so that it will produce an error if any test runs klee
without --output-dir (by checking for the existing of klee-last files).
- This also helps with #147 but I still can't fully run tests in parallel (I
start hitting STP errors).
|
|
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100397 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
- Precomputed constants were being truncated to 32-bits!
- This was actually the problem with new[]/delete[], I failed to look at the
generated code for new[] to realize that the compiler is generating the
offset pointer, not the runtime library.
- All tests now pass on x86-64!
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77930 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
failure only manifests itself on x86_64, however.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77921 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
- Lots more tweaks, documentation, and web page content is needed,
but this should compile & work on OS X & Linux.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8
|
