| Age | Commit message (Collapse) | Author |
|---|
|
|
|
Otherwise optimizations done in klee won't have any effect.
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
|
|
|
|
Use correct definition and declaration of main function
|
|
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).
|
|
Say hello to our new friend, llvm-lit :)
|
|
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77574 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73312 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
- Cleaned up enough to build on Darwin & Linux.
- I don't really care to have too many programs in the test suite, but this
works until we have some better place for them.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73303 91177308-0d34-0410-b5e6-96231b3b80d8
|
