about summary refs log tree commit diff homepage
path: root/test/regression
AgeCommit message (Expand)Author
2023-09-11Changed use-after-free and double-free tests to expect KDAlloc, plus some sma...Cristian Cadar
2023-06-05fix BatchingSearcher's disabled time budgetJulian Büning
2023-04-21Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...Cristian Cadar
2023-03-26tests: add some missing headersFrank Busse
2022-07-04Inline asm external callMikhail
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-15Spelling Fixesm-davis
2022-06-13tests: invoke LLVM tools through their corresponding macrosLukáš Zaoral
2022-03-17LLVM < 6 leftoversJulian Büning
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2021-05-04test: count paths with -dump-states-on-halt=falseFrank Busse
2021-04-18tests: Invoke tools through their corresponding macrosLukas Zaoral
2020-10-09fix: fabs() working on the wrong argumentDavid Laprell
2020-09-30tests: support .test and introduce %klee-statsFrank Busse
2020-06-25add simple unknown bitcast alias test from the original issueJulian Büning
2020-06-25add known bitcast test for comparisonJulian Büning
2020-06-25regression test for unknown bitcast aliasJulian Büning
2020-05-01Add test case from #1257 to reproduce behaviourMartin Nowack
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-11-05Mark all constant global memory objects as constantMartin Nowack
2019-11-05[test] Fix missing includesMartin Nowack
2019-10-31Executor: fix missing default case in switch instructionFrank Busse
2019-10-07Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it isGleb Popov
2019-08-14Update basic block iterator after deleting instruction; add test caseMartin Nowack
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-03-21remove tests for LLVM <= 3.7Julian Büning
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2019-03-05add regression test for LLVM PR39177Julian Büning
2019-03-05fix Executor::initializeGlobals for aliases pointing to another aliasJulian Büning
2018-12-19regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'Frank Busse
2018-12-19Various fixes for ktest-toolFrank Busse
2018-12-19Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251Cristian Cadar
2018-10-29add %OOopt to recently added tests and ConcreteJulian Büning
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-10-10fix handling of failing external callsFrank Busse
2018-09-10Add POSIX runtime as dependency for the test caseMartin Nowack
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-09-06Use FileCheck and LINE instead of grep if possibleMartin Nowack
2018-06-29fix out of range access in KleeHandler::getKTestFilesInDirFrank Busse
2018-06-13klee_int: allow NULL as nameFrank Busse
2018-05-24test: add versions of some tests for LLVM 3.7Richard Trembecký
2018-05-18tests: use names in klee_make_symbolicFrank Busse
2018-05-06Moved regression test to proper location. Fixes #705Cristian Cadar
2018-04-09doDumpStates: incorrectly increments statsFrank Busse
2018-02-18Add missing endian information to avoid selecction of big endian systemsMartin Nowack
2017-12-11fix regression test: use `%klee` instead of `klee`Felix Rath
2017-11-24klee_make_symbolic: add test cases for APIFrank Busse
2017-07-25Added regression test for bug reported by @kren1 in #262Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 19:48:55 +0000