about summary refs log tree commit diff homepage
path: root/test/regression
AgeCommit message (Collapse)Author
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
Fixes #264. We first aggregate all constant memory objects initialise them and initialise their counter parts in the concrete memory. After that, we mark memory objects as constant such that they can't be modified (i.e. this includes marking them symbolic).
2019-11-05[test] Fix missing includesMartin Nowack
Fix multiple missing includes
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
incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161 While there, remove dependence on `sort` utility, which might help porting KLEE Windows eventually.
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
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
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
* switch to Python 3 * add file encoding * some PEP8 reformatting * fix TOCTOU for open * replace trimZeros() with rstrip * remove unused pos/args variables * remove --write-ints (print by default) * remove progname section (unused) * added/modified output rows - "data:" now shows the Python representation (for use in scripts) - "hex :" shows the hex representation - "text:" shows ASCII, all out-of-range/non-printable characters are replaced by a dot - "int :"/"uint:" print (unsigned) 8/16/32/64 bit integers * reduce width for object counter to needed minimum instead of 4 * refactor printing into function
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
Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-10-10fix handling of failing external callsFrank Busse
Currently KLEE only handles the first segfault in external calls as it doesn't unblock SIGSEGV afterwards. This patch unblocks the signal and enables handling of multiple failing calls.
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
As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers.
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ý
Clone some tests to have their 3.7 version. 'call's, 'load's and 'getelementptr's match the new specification in them. @andreamattavelli: Fixed test cases: BitCastAlias test cases included modification to alias specifications that require LLVM 3.8 [v2] added comments what was changed and why [v3] the new tests are without suffix, the old ones have ".leq36". Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
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
doDumpStates calls stepInstruction and therefore indirectly increases time and instruction statistics for all dangling (dumped) states. This patch removes the call, but now the timing stats for the last executed state are lost, as StatsTracker::stepInstruction isn't called anymore.
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
2017-07-23Updated test cases to reflect removal of LLVM 2.9Martin Nowack
2017-03-23Add test case to check that on early exits stats are flushedDan Liew
2017-03-15Fix test case for OSX: only weak aliases are supported on darwinAndrea Mattavelli
Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin'
2017-03-01fix for PathOS.idgladtbx
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 02:59:52 +0000