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
2015-12-11
Change SilentKleeAssume.c test slightly so that
Dan Liew
2015-12-11
Add command line flag ``--silent-klee-assume``to suppress errors due to
Valentin Wüstholz
2015-11-08
Merge pull request #269 from MartinNowack/fix_srem
MartinNowack
2015-09-25
Don't use /tmp for futimesat unit test
Andrew Chi
2015-09-22
[STPBuilder] Generate SRrem expressions correctly
Martin Nowack
2015-09-21
Merge pull request #274 from MartinNowack/fix_sdiv_1
Cristian Cadar
2015-09-05
Allow to generate initial values with empty constraint set
Martin Nowack
2015-08-30
Fix signed division by constant 1/ -1
Martin Nowack
2015-08-21
Merge pull request #251 from ret2libc/entryFnParam
Cristian Cadar
2015-08-14
test: add Feature test for EntryPoint option
Riccardo Schirone
2015-04-29
Fix assertion failure in getDirectCallTarget
Sean Bartell
2015-04-19
Fixed RewriteEqualities input to be more resilient to differences in compilat...
Cristian Cadar
2015-04-19
Temportily marking RewriteEqualities test as XFAIL.
Cristian Cadar
2015-04-19
Added a new test case that checks the --rewrite-equalities optimisation. The...
Cristian Cadar
2015-04-15
Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift
Dan Liew
2015-04-01
[test] Fix compilation warning
Martin Nowack
2015-04-01
[tests] Fix undefined function
Martin Nowack
2015-03-20
Improve arithmetic-right-overshift-sym-conc.c test by make sure it
Dan Liew
2015-03-02
New regression test checking that the Array factory correctly distinguishes b...
Cristian Cadar
2015-02-13
Fixed and refactored overflow test cases.
Cristian Cadar
2015-02-13
refactor integer overflow detection, add signed int
Luca Dariz
2015-02-13
Fix overflow detection in unsigned multiplication
Luca Dariz
2015-02-13
add tests for unsigned integer overflow
Luca Dariz
2015-02-13
Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"
Cristian Cadar
2015-02-10
Merged @luckyluke's change for detecting overflow of unsigned add, sub
Cristian Cadar
2014-12-19
Merge pull request #168 from willemp/fix-va-args-passing-for-big-types
Cristian Cadar
2014-12-12
Print nested let-abbreviations in ExprSMTLIBPrinter
Raimondas Sasnauskas
2014-12-08
Fix overshift check
Paul Marinescu
2014-12-03
Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstr...
Hristina Palikareva
2014-12-02
The printing of constraints and the QueryExpr have been merged into a
Dan Liew
2014-12-02
Implement :named and let abbreviation modes in ExprSMTLIBPrinter
Raimondas Sasnauskas
2014-10-16
Fixed declaration of print_int that Travis complained about
Willem
2014-10-16
Fix the bug in printing 64bit numbers, set the test to expect passing. Change...
Willem
2014-10-15
Fixed test/Concrete/ConstantExpr.ll
Willem
2014-10-15
Added tests to _testingUtils.c (currently failing due to a bug in printing 64...
Willem
2014-10-09
Fixed passing of long double (and other big types) in var_args on x86_64. Rem...
Willem
2014-10-09
Add (currently failing) test to check for correct long double alignment in va...
Willem
2014-10-08
Fixes support for passing arguments to klee in the ConcreteTests.
Willem
2014-09-15
Generate fake files for test cases
Martin Nowack
2014-09-15
Merge pull request #157 from MartinNowack/fix_posix_printout
Cristian Cadar
2014-09-15
Remove --read-args command line option because this feature has been
Dan Liew
2014-09-14
[Core] Fix a bug in how source file names were written in .istats files.
Daniel Dunbar
2014-09-14
[Module] Try harder to associate each instruction with source level debug info.
Daniel Dunbar
2014-09-14
[tests] Enable running tests in parallel.
Daniel Dunbar
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
Enable test case again
Martin Nowack
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
[next]