diff options
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>"; |