about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Collapse)Author
2023-03-20llvm14: port test/Feature/VarArgByVal.c to LLVM 14Lukáš Zaoral
LLVM 14 has introduced the noundef function argument attribute.
2023-03-20llvm14: Add LLVM 14 to lit.cfgLukáš Zaoral
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-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0).
2023-03-16Add some system tests for KDAllocDaniel Schemmel
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2023-02-28Add a few simple solver testsDaniel Schemmel
2023-02-06Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not ↵Cristian Cadar
generated
2023-02-06Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring ↵Cristian Cadar
that a call to __memcpy_chk is emitted
2023-01-06fix output check in test const_arr_opt1Matthis Gördel
2022-12-09add missing FileCheck command to testMatthis 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-24Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it ↵Pavel
strips out these intrinsics
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-24Support arguments of width 128, 256 and 512 bits for external callsPavel
2022-07-04Inline asm external callMikhail
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-30remove LLVM < 9Frank Busse
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-06-15Spelling Fixesm-davis
2022-06-13tests: add StackTraceOutput.cFrank Busse
2022-06-13tests: invoke LLVM tools through their corresponding macrosLukáš Zaoral
2022-05-06Updated tests to use ktest-randgen instead of gen-random-boutCristian Cadar
2022-05-06Updated tests to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06tests: make function pointer tests more robustFrank Busse
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-03-17LLVM < 6 leftoversJulian Büning
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2022-03-17Updated test MemoryLimit.c to use FileCheck, and formatted the fileCristian Cadar
2022-03-11FD_Fail: use /dev/zero instead of /etc/mtabMorgan Jones
/etc/mtab doesn't exist in the Nix build sandbox since /etc doesn't exist. However, /dev/zero is more common on UNIX systems and does.
2022-03-09tests: make UBSAN print stack tracesLukáš Zaoral
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-12-20test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple`Lukáš Zaoral
Fixes assertion violation triggered in LLVM 13 CI job due to incompatibility with default target triple and datalayout.
2021-12-20llvm13: Add LLVM 13 to lit.cfgLukas Zaoral
2021-11-20Fixed fail with preferCex, removed relation from first argumentTaras Bereznyak
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-17test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc ↵Lukas Zaoral
platforms
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-10-16 16:32:43 +0000