diff options
| author | Andrew Santosa <santosa_1999@yahoo.com> | 2018-06-22 19:50:46 +0800 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-31 09:53:16 +0100 |
| commit | c2a353355a02d392df7ac3f7c47aa4b950c3b943 (patch) | |
| tree | bddbcbb4289e918b964992521e6059e7e98d4761 /README-CMake.md | |
| parent | 3c22f088ce92854b9fcb5b41f67bf9a503ec9719 (diff) | |
| download | klee-c2a353355a02d392df7ac3f7c47aa4b950c3b943.tar.gz | |
Various updates to gen-random-bout.cpp
* Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg
Diffstat (limited to 'README-CMake.md')
0 files changed, 0 insertions, 0 deletions