index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test
Age
Commit message (
Expand
)
Author
2014-09-14
[Core] Remove support for "--use-asm-addresses".
Daniel Dunbar
2014-09-14
Use klee-libc for this test, as it runs when configured w/o uclibc.
Daniel Dunbar
2014-09-14
Use not test instead of non-existing FAIL.
Martin Nowack
2014-09-14
Fix testcase FD_Fail2.c
Martin Nowack
2014-09-14
[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve...
Daniel Dunbar
2014-09-14
Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still
Dan Liew
2014-09-13
[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.
Daniel Dunbar
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-13
test/lit.site.cfg is never deleted, leading to misconfiguration errors.
Cristian Cadar
2014-09-13
These tests require --optimize=false to run successfully.
Cristian Cadar
2014-09-12
[Module] Fix handling of instructions without debug info.
Daniel Dunbar
2014-09-12
[tests] Run 'make clean' prior to starting tests.
Daniel Dunbar
2014-09-12
[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...
Daniel Dunbar
2014-09-12
[tests] Rewrite MemoryLimit test to use larger allocations for "little" test ...
Daniel Dunbar
2014-09-12
[tests] Dramatically scale back the forks limit for our ImmutableSet test.
Daniel Dunbar
2014-09-12
[tests] Set --output-dir on all test runs, in support of running tests in par...
Daniel Dunbar
2014-09-12
[tests] Update ConcreteTest to use --output-dir.
Daniel Dunbar
2014-09-12
Add a README for the Concrete tests.
Daniel Dunbar
2014-09-12
Fix up ConstantExpr to be deterministic with 64-bit addresses.
Daniel Dunbar
2014-09-12
Add support for testing Concrete tests via lit.
Daniel Dunbar
2014-09-12
Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.
Daniel Dunbar
2014-09-12
Rewrite ConcreteTest.py to only run one test at a time.
Daniel Dunbar
2014-09-12
Update Concrete test Makefile for LLVM changes.
Daniel Dunbar
2014-09-12
Update testingUtils to use printf(), putchar() isn't a known external functio...
Daniel Dunbar
2014-09-12
Update FloatingPointOps concrete test case for LLVM changes.
Daniel Dunbar
2014-09-12
XFAIL LargeReturnTypes.cpp on Darwin, it depends indirectly on using libstdcxx.
Daniel Dunbar
2014-07-04
Fix regression reported by Michael Esser and Andrew Watson
Dan Liew
2014-05-16
Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.
Cristian Cadar
2014-04-14
Fix test case to support new llvm-lit
Martin Nowack
2014-04-14
Update to new lit configuration to support changes in LLVM3.4
Martin Nowack
2014-04-02
Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...
Peter Collingbourne
2014-02-24
Improved DumpStatesOnHalt.c to make sure there is always more than one instru...
Cristian Cadar
2014-02-24
Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations...
Cristian Cadar
2014-02-14
Added C test case that checks that concrete and symbolic overshift
Dan Liew
2014-02-14
Fixed overshift of arithmetic right shift by constant so that it
Dan Liew
2014-02-14
Fixed overshift of arithmetic right shift by symbolic so that it overshifts
Dan Liew
2014-02-14
Added C test case that checks that concrete and symbolic overshift
Dan Liew
2014-02-14
Fixed overshift of logical right shift by constant so that it
Dan Liew
2014-02-14
Fixed overshift of logical right shift by symbolic so that it overshifts
Dan Liew
2014-02-14
Added C test case that checks that concrete and symbolic overshift
Dan Liew
2014-02-14
Fixed overshifting an expression by a constant so that we overshift to
Dan Liew
2014-02-14
Added a test case for testing overshift behaviour of Shl and fixed
Dan Liew
2014-02-09
Merge pull request #100 from delcypher/pass-param-llvm-lit
Cristian Cadar
2014-02-04
Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment
Dan Liew
2014-01-29
Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makes
Dan Liew
2014-01-28
Allow passing arbitrary command line flags to klee and kleaver
Dan Liew
2014-01-20
Hide make check command unless using VERBOSE make variable.
Dan Liew
2014-01-20
Explicitly use only one thread when invoking llvm-lit in TestRunner.sh
Dan Liew
2014-01-20
Fixed test cases that fail if using an in-source build
Dan Liew
[next]