diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-14 18:10:21 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:53 +0000 |
| commit | c2a8ad5bacc783be5d64e07a3e4b327e18cc09be (patch) | |
| tree | 1c27f4178f3bf9e710e8b401092ff4197c8dce6e /test/Makefile | |
| parent | 54b5b1d8fc99376fccbbcb471825012dfa1e4017 (diff) | |
| download | klee-c2a8ad5bacc783be5d64e07a3e4b327e18cc09be.tar.gz | |
Explicitly use only one thread when invoking llvm-lit in TestRunner.sh
We need to fix the test suite so we can run it in parallel.
Diffstat (limited to 'test/Makefile')
0 files changed, 0 insertions, 0 deletions