diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2020-06-25 21:35:25 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-07-30 16:44:31 +0100 |
| commit | 661fba88fff0205ea258a1149907f2822458cd83 (patch) | |
| tree | f9bc1fb96d55d55312dd10b19a0cf94a7ebe89e7 /lib/Support/ErrorHandling.cpp | |
| parent | 169022a56d62cdb2f15540a0c592c5f90fdb39cb (diff) | |
| download | klee-661fba88fff0205ea258a1149907f2822458cd83.tar.gz | |
introduce --rng-initial-seed=<unsigned>
* move global theRNG into Executor * pass theRNG via ctor to searchers * remove some type warnings from RNG.cpp Fixes #1023.
Diffstat (limited to 'lib/Support/ErrorHandling.cpp')
| -rw-r--r-- | lib/Support/ErrorHandling.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Support/ErrorHandling.cpp b/lib/Support/ErrorHandling.cpp index 5c7b69dd..2f4bc5cc 100644 --- a/lib/Support/ErrorHandling.cpp +++ b/lib/Support/ErrorHandling.cpp @@ -31,8 +31,11 @@ static const char *warningOncePrefix = "WARNING ONCE"; static const char *errorPrefix = "ERROR"; static const char *notePrefix = "NOTE"; -namespace { +namespace klee { cl::OptionCategory MiscCat("Miscellaneous options", ""); +} + +namespace { cl::opt<bool> WarningsOnlyToFile( "warnings-only-to-file", cl::init(false), cl::desc("All warnings will be written to warnings.txt only. If disabled, " |