diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-15 13:48:02 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-15 22:53:39 +0000 |
| commit | 4756c66f48bc67f4f845ba1be6010e89dc34974e (patch) | |
| tree | 44376454155db212868aa7f77891ebc09bbb307c /tools | |
| parent | c1e7c3a2c53ac80eb07c1359b40151a440b41849 (diff) | |
| download | klee-4756c66f48bc67f4f845ba1be6010e89dc34974e.tar.gz | |
Placed --max-time in the termination category
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 36015c5e..787df1ec 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -288,7 +288,9 @@ namespace { cl::cat(TerminationCat)); } +namespace klee { extern cl::opt<std::string> MaxTime; +} /***/ |