about summary refs log tree commit diff homepage
path: root/runtime/POSIX/klee_init_env.c
AgeCommit message (Expand)Author
2019-11-07Allow main with 3 argumentsCristian Cadar
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2018-09-29Changed code to create up to 100 properly-numbered symbolic arguments, and ad...Cristian Cadar
2018-09-29Add checks for correct usage of the POSIX model, together with an associated ...Cristian Cadar
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2016-08-19Added -save-all-writes to klee_init_env help messageAndrea Mattavelli
2016-05-27Improved help message for POSIX environment options.Cristian Cadar
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2009-05-23Make klee_init_env print some usage instructions with --help.Daniel Dunbar
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 11:23:25 +0000