about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2022-09-24Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...Pavel
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
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 MakeS...Cristian Cadar
2021-12-20test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple`Lukáš Zaoral
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
2021-10-17test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc plat...Lukas Zaoral
2021-10-17test/Runtime/POSIX/Futimesat: Compile with -std=c99Lukas Zaoral
2021-10-13test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefixLukas Zaoral
2021-09-10llvm12: Implement llvm.abs intrinsicLukas Zaoral
2021-09-10llvm12: Implement llvm.{s,u}{max,min} intrinsicsLukas Zaoral
2021-09-10llvm12: Add LLVM 12 to lit.cfgLukas Zaoral
2021-06-19Test failure for WSL 1Pavel Yatcheniy
2021-05-10extend function pointer testJulian Büning
2021-05-04tests: adjust to new summary outputFrank Busse
2021-05-04test: count paths with -dump-states-on-halt=falseFrank 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-20test/Concrete: Use Python 3 in ConcreteTest.py explicitlyLukas Zaoral
2021-04-18tests: Invoke tools through their corresponding macrosLukas Zaoral
2021-04-18tests: Do not add klee tools to PATH in litLukas Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 21:35:00 +0000