diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-15 12:28:49 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-15 22:53:39 +0000 |
| commit | 7885041375ae3b878dbd7bafaf80ad21e38ab2bc (patch) | |
| tree | c4ecf991da8b6113a381e1ab988b69436f56cb73 /scripts | |
| parent | 7400b9363975706ed5407c980f9becbe460634b7 (diff) | |
| download | klee-7885041375ae3b878dbd7bafaf80ad21e38ab2bc.tar.gz | |
Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions