about summary refs log tree commit diff homepage
path: root/tools/klee-replay/klee-replay.h
AgeCommit message (Expand)Author
2023-03-17Fix building of runtime library and klee-replayMartin Nowack
2019-08-14Added an option to klee-replay to keep replay directoryCristian Cadar
2019-08-14Changed klee-replay to create a temporary directory with a random name in /tm...Cristian Cadar
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2018-10-08add support for klee-replay on OSXFrank Busse
2009-08-05Add klee-replay tool.Daniel Dunbar