about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2023-06-05fix BatchingSearcher's disabled time budgetJulian Büning
2023-06-05also check for default CHECK directive in ArrayOpt TestsMatthis Gördel
2023-05-26Copy stats to test directory when running testsDaniel Schemmel
2023-05-26Refactored and fixed the code dealing with the entry point.Cristian Cadar
2023-04-21Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...Cristian Cadar
2023-03-26tests: add some missing headersFrank Busse
2023-03-23Remove model_version from the POSIX runtime, as we have never used it.Cristian Cadar
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 expec...Cristian Cadar
2023-03-22STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...Frank Busse
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-22Remove hard to understand and debug pcregrep testCristian Cadar
2023-03-22Fixed typoMartin Nowack
2023-03-22Handle fail of KLEE gracefullyMartin Nowack
2023-03-22Explicitly check if 32bit support is enabled for testingMartin Nowack
2023-03-20ConstantArrayExprVisitor: Fix detection of multiple array indicesLukáš Zaoral
2023-03-20llvm14: port test/Feature/VarArgByVal.c to LLVM 14Lukáš Zaoral
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
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 gene...Cristian Cadar
2023-02-06Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring tha...Cristian Cadar
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 w...Cristian Cadar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 14:06:22 +0000