about summary refs log tree commit diff homepage
path: root/test/Feature
AgeCommit message (Expand)Author
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
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-07-29Fixed incorrect requires directiveCristian Cadar
2019-05-30fix tests for macOSJulian Büning
2019-05-30implement FunctionAliasPassJulian Büning
2019-05-30remove klee_alias_function()Julian Büning
2019-05-06Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test.Gleb Popov
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-03-21remove tests for LLVM <= 3.7Julian Büning
2019-03-18Disable optimisation for functions that contain KLEE callsMartin Nowack
2019-03-18make test/Feature/srem.c more explicitJulian Büning
2019-03-15Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...Cristian Cadar
2019-03-13Renamed --no-output to --write-no-tests and placed it in the test case catego...Cristian Cadar
2019-03-12Exclude testcases not compatible with MSanMartin Nowack
2019-03-12Removed unneeded and confusing disable-opt option, reformatted Optimize() fun...Cristian Cadar
2019-03-07tests: rename xxclang to clangxxFrank Busse
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2019-03-05fix Executor::initializeGlobals for aliases pointing to another aliasJulian Büning
2018-12-19Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251Cristian Cadar
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-11-05Check for stack overflow in a tested programMartin Nowack
2018-11-02Added test for the case where external calls are encountered but disallowedCristian Cadar
2018-11-02Replaced --no-externals and --allow-external-sym-calls with --external-calls,...Cristian Cadar
2018-11-02The test DeterministicSwitch.c does not need to allow external symbolic callsCristian Cadar
2018-10-29add %OOopt to recently added tests and ConcreteJulian Büning
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-10-24Add testcase for shift checkMartin Nowack
2018-10-24Add test case for div checkerMartin Nowack
2018-10-24Added lowering passRafael Zaehl
2018-10-17tests: disable CompressedExprLogging on zlib-less systemsFrank Busse
2018-09-06Use FileCheck and LINE instead of grep if possibleMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 18:06:46 +0000