about summary refs log tree commit diff homepage
path: root/test/Feature
AgeCommit message (Collapse)Author
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
Introduce three different kinds of process trees: 1. Noop: does nothing (e.g. no allocations for DFS) 2. InMemory: same behaviour as before (e.g. RandomPathSearcher) 3. Persistent: similar to InMemory but writes nodes to ptree.db and tracks information such as branch type, termination type or source location (asm) in nodes. Enabled with -write-ptree ptree.db files can be analysed/plotted with the new "klee-ptree" tool.
2023-09-11Changed use-after-free and double-free tests to expect KDAlloc, plus some ↵Cristian Cadar
small improvements.
2023-07-12Replaced --suppress-external-warnings and --all-external-warnings with ↵Cristian Cadar
--external-call-warnings=none|once-per-function|all. This eliminates the ambiguity when both of the old options were set. Added test for the new option.
2023-06-05test/Feature/StackTraceOutput.c: relative checks, clang-formatJulian Büning
2023-06-05re-enable StackTraceOutput.c testJulian Büning
This test previously had a REQUIRES line with geq-llvm-7.0. Because LLVM version 7.0 is no longer "known" (test/lit.cfg), the required feature is not available and the test is discarded as unsupported by llvm-lit.
2023-05-26Copy stats to test directory when running testsDaniel Schemmel
The sqlite3 databases used for the stats are journalled and potentially must be written to. Therefore, the sqlite3 driver used by `klee-stats` requires write permissions on the database files. By copying the stats files to the test directory, we can now compile and test an out-of-tree build without requiring any write permissions on the source folder at all.
2023-05-26Refactored and fixed the code dealing with the entry point.Cristian Cadar
main() should not be processed if the entry point is a different function. This also fixes an abnormal termination when --entry-point and --libc=uclibc are used together (#1572)
2023-03-26tests: add some missing headersFrank Busse
2023-03-23tests: add Feature/KleeStatsTermClasses.cFrank Busse
2023-03-23tests: add Feature/KleeStatsBranches.cFrank Busse
2023-03-22Added more test cases for --entry-point. EntryPointMissing is currently ↵Cristian Cadar
expected to fail.
2023-03-20llvm14: port test/Feature/VarArgByVal.c to LLVM 14Lukáš Zaoral
LLVM 14 has introduced the noundef function argument attribute.
2023-03-17Don't fail `KleeStats.c` test if it takes 1s or longerMartin Nowack
2023-03-17Disable `const_array_opt1` for ubsan as wellMartin Nowack
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2023-01-06fix output check in test const_arr_opt1Matthis Gördel
2022-12-09fix FileCheck cmd of VarArgByVal testMatthis Gördel
2022-09-26Improve the message for when large arrays become symbolic. Only print this ↵Cristian Cadar
warning once per array. Add test case.
2022-09-14Improve pattern for FileCheck in UBSan's testsPavel
2022-09-14Improve pattern for FileCheck in UBSan's testsPavel
2022-09-14Eliminate .undefined_behavior.err category and simplify testsPavel
2022-09-14Remove LLVM version < 9Pavel
2022-09-14Check extensions of generated files in testsPavel
2022-09-14Remove LLVM version < 6Pavel
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-07-04Inline asm external callMikhail
2022-06-30remove LLVM < 9Frank Busse
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-06-13tests: add StackTraceOutput.cFrank Busse
2022-06-13tests: invoke LLVM tools through their corresponding macrosLukáš Zaoral
2022-05-06tests: make function pointer tests more robustFrank Busse
2022-03-17Updated test MemoryLimit.c to use FileCheck, and formatted the fileCristian Cadar
2022-01-07tests: add Feature/KleeStatsNoBr.cFrank Busse
2022-01-07tests: adapt Feature/KleeStatsColumns.test to klee-stats changesFrank Busse
2022-01-07tests: extend Feature/KleeStats.cFrank Busse
2022-01-05Added a test for invocations of klee_make_symbolic with a wrong size to ↵Cristian Cadar
MakeSymbolicAPI.c, and reformatted the file.
2021-11-02tests: adjust Feature/KleeStatsColumns.test for fixed column orderFrank Busse
2021-10-27tools/klee: Warn if module and host target triples differLukas Zaoral
... as running a bitcode with a different target triple may result in unexpected crashes or assertion violations.
2021-10-13test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefixLukas Zaoral
This test started to fail on LLVM 13 because FileCheck switched the default setting regarding the allowance of unused prefixes. This is now considered to be a fatal error.
2021-05-10extend function pointer testJulian Büning
Part of the test was already disabled in the initial checkin. However, we do support function pointers if they are restricted to one or more possible values.
2021-05-04tests: adjust to new summary outputFrank Busse
2021-04-20Replaced the time-based delay after which the max-static-*-pct checks are ↵Cristian Cadar
performed with one expressed in terms of number of forks.
2021-04-20Test for -max-static-fork-pctCristian Cadar
2021-04-18tests: Invoke tools through their corresponding macrosLukas Zaoral
2020-11-11tests: add test for klee-stats --table-format=csv/readable-csvFrank Busse
2020-10-09implement fneg instructionJulian Büning
2020-10-09Add testcase for weakly linked globalsMartin Nowack
2020-09-30tests: add tests for empty .stats and additional/missing columnsFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-29 01:36:07 +0000