about summary refs log tree commit diff homepage
path: root/tools/ktest-tool
AgeCommit message (Expand)Author
2021-11-02ktest-tool: --extract: warn if object can't be foundFrank Busse
2019-03-05ktest-tool: add --extract optionFrank Busse
2018-12-19ktest-tool: move from optparse to argparse, add ouput/example sections to helpFrank Busse
2018-12-19Various fixes for ktest-toolFrank Busse
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2014-11-13tools: prepend DESTDIR when installingJiri Slaby
2014-01-09Fix build system so that ktest-tool and klee-stats can be installedDan Liew
2013-08-13Modified ktest-tool so that it is compatible with python3.Dan Liew
2010-04-19ktest-tool: Add --write-ints option, for printing 4-byte objects as integers.Daniel Dunbar
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2009-06-09Use env instead of hard coding python path.Daniel Dunbar
2009-05-29Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read.Cristian Cadar
2009-05-27Some more updates for bout -> ktest renaming.Daniel Dunbar
2009-05-23Renamed klee-bout-tool to ktest-tool.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 11:31:43 +0000