diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 15:18:03 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:18 -0700 |
| commit | 8c3e28cfe911a46d2a73d0434a048d60c35635bf (patch) | |
| tree | cf8d75e85485a018da4ce1db7fab7dcd99d2ae69 /docs | |
| parent | 84eab6b58939ba8a5d2d5e415af14e5382cf6d53 (diff) | |
| download | klee-8c3e28cfe911a46d2a73d0434a048d60c35635bf.tar.gz | |
Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions