diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-07-31 14:37:23 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-01 16:53:44 +0100 |
| commit | a243341556a81122bf45cc086a6a94b8b0d69bea (patch) | |
| tree | 5be6c53843f42adc9d7f6a60df5032d3b1a404d6 /runtime | |
| parent | 7640a09981b6376da2ec75be7caf76661ef15f28 (diff) | |
| download | klee-a243341556a81122bf45cc086a6a94b8b0d69bea.tar.gz | |
gen(-random)-bout: add --bout-file flag
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/klee_init_env.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/POSIX/klee_init_env.c b/runtime/POSIX/klee_init_env.c index b55a90a6..80d3a104 100644 --- a/runtime/POSIX/klee_init_env.c +++ b/runtime/POSIX/klee_init_env.c @@ -208,6 +208,8 @@ usage: (klee_init_env) [options] [program arguments]\n\ } else if (__streq(argv[k], "--fd-fail") || __streq(argv[k], "-fd-fail")) { fd_fail = 1; k++; + } else if (__streq(argv[k], "--bout-file") || __streq(argv[k], "-bout-file")) { + k += 2; } else if (__streq(argv[k], "--max-fail") || __streq(argv[k], "-max-fail")) { const char *msg = "--max-fail expects an integer argument <max-failures>"; |