about summary refs log tree commit diff homepage
path: root/test/Concrete
AgeCommit message (Expand)Author
2021-04-20test/Concrete: Use Python 3 in ConcreteTest.py explicitlyLukas Zaoral
2019-04-02Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSDGleb Popov
2019-03-21remove tests for LLVM <= 3.7Julian Büning
2019-03-13Renamed --no-output to --write-no-tests and placed it in the test case catego...Cristian Cadar
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2018-11-06fix: actually set -O0 in test/concrete/CMakeLists.txtJulian Büning
2018-10-29add %OOopt to recently added tests and ConcreteJulian Büning
2018-05-24test: add versions of some tests for LLVM 3.7Richard Trembecký
2018-02-18Test complex constant data vectors as wellMartin Nowack
2018-02-18Add test case for constant vector initMartin Nowack
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-25Re-enable parts of `FloatingPointOps.ll`. The message about failuresDan Liew
2017-07-24more portable shebangsJörg Thalheim
2017-03-06test: ConstantExpr, fix bogus testJiri Slaby
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2014-10-16Fixed declaration of print_int that Travis complained aboutWillem
2014-10-16Fix the bug in printing 64bit numbers, set the test to expect passing. Change...Willem
2014-10-15Fixed test/Concrete/ConstantExpr.llWillem
2014-10-15Added tests to _testingUtils.c (currently failing due to a bug in printing 64...Willem
2014-10-08Fixes support for passing arguments to klee in the ConcreteTests.Willem
2014-09-14Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should stillDan Liew
2014-09-13[test/Concrete] Remove the Invoke*.ll tests.Daniel Dunbar
2014-09-13[test/Concrete] Update LLVM IR syntax.Daniel Dunbar
2014-09-12[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...Daniel Dunbar
2014-09-12[tests] Update ConcreteTest to use --output-dir.Daniel Dunbar
2014-09-12Add a README for the Concrete tests.Daniel Dunbar
2014-09-12Fix up ConstantExpr to be deterministic with 64-bit addresses.Daniel Dunbar
2014-09-12Add support for testing Concrete tests via lit.Daniel Dunbar
2014-09-12Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.Daniel Dunbar
2014-09-12Rewrite ConcreteTest.py to only run one test at a time.Daniel Dunbar
2014-09-12Update Concrete test Makefile for LLVM changes.Daniel Dunbar
2014-09-12Update testingUtils to use printf(), putchar() isn't a known external functio...Daniel Dunbar
2014-09-12Update FloatingPointOps concrete test case for LLVM changes.Daniel Dunbar
2014-01-20Add lit.local.cfg file for test/Concrete so no tests are executedDan Liew
2013-03-18Patch and test case by Jiri Slaby to handle "initializing globals whenCristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 10:04:12 +0000