about summary refs log tree commit diff homepage
path: root/test/Feature
AgeCommit message (Expand)Author
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 w...Cristian Cadar
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 MakeS...Cristian Cadar
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
2021-10-13test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefixLukas Zaoral
2021-05-10extend function pointer testJulian Büning
2021-05-04tests: adjust to new summary outputFrank Busse
2021-04-20Replaced the time-based delay after which the max-static-*-pct checks are per...Cristian Cadar
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
2020-09-30tests: support .test and introduce %klee-statsFrank Busse
2020-06-25Enforce fork/branch limits in branch() and fix double terminationFrank Busse
2020-06-25fix Executor: initializeGlobalAliasesJulian Büning
2020-06-19Added test reported in https://github.com/klee/klee/issues/189 for byval vari...Cristian Cadar
2020-06-19Renamed Vararg.c to VarArg.c for consistency with the other var arg tests and...Cristian Cadar
2020-06-19Added test checking for correct alignment of variadic argumentsCristian Cadar
2020-06-19Added test checking that KLEE correctly handles variadic arguments with the b...Cristian Cadar
2020-06-06[Module] Add testcase for inline asm liftingMartin Nowack
2020-04-08test: add a new test for readStringAtAddressMarek Chalupa
2020-01-18Fix handling of debug information for functionsMartin Nowack
2020-01-13Assume assembly.ll is local to the run.istats fileMartin Nowack
2019-10-07test/Feature/SolverTimeout.c: re-enable for Z3Julian Büning
2019-09-20Move intrinsics tests to the proper directoryMateusz Naściszewski
2019-09-20Add tests for saturating arithmeticMateusz Naściszewski
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 05:16:25 +0000