~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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. ↵	Willem
	Changed _testingUtils to use stdint.h
2014-10-15	Fixed test/Concrete/ConstantExpr.ll	Willem
	The difference between a 64bit pointer truncated to 32 bits and the original 64bit pointer would never be 0 if any of the high 32bits in the pointer were test. If lli and klee had a different value for the top 32bits of the address this test would be marked as failing. Due to the 64bit printing buf in _testingUtils this was not exposed before. The fix clears the top 32bits of the difference.
2014-10-15	Added tests to _testingUtils.c (currently failing due to a bug in printing ↵	Willem
	64bit numbers) Fixing this bug will expose a failing test case for Concrete/ConstantExpr.ll
2014-10-08	Fixes support for passing arguments to klee in the ConcreteTests.	Willem
	This is for use with llvm-lit --param=klee_opts=... Fixes lit.cfg to not have an extranous space behind the klee command. Augments ConcreteTest to accept and pass arguments to klee. Augments all the ConcreteTest cases to wrap %klee in quotes. Without wrapping %klee the extra arguments will be seens as arguments to ConcreteTest.py resulting in an unknown argument error.
2014-09-14	Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still	Dan Liew
	work)
2014-09-13	[test/Concrete] Remove the Invoke*.ll tests.	Daniel Dunbar
	- LLVM changed the exception handling semantics a lot, and we can't write compatible tests across the versions. Unfortunately I am afraid this probably also means KLEE's exception handling semantics are broken for LLVM 3.4+, but our C++ support is spotty at best. These tests should probably be replaced with ones in a source language that supports exceptions if and when someone wants to make that work.
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
	which the LLVM JIT can't handle.
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
	Fixes #96.
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 ↵	Daniel Dunbar
	function anymore.
2014-09-12	Update FloatingPointOps concrete test case for LLVM changes.	Daniel Dunbar

2014-01-20	Add lit.local.cfg file for test/Concrete so no tests are executed	Dan Liew
	in this directory. I don't know why these tests are here, they weren't executed before by DejaGNU.
2013-03-18	Patch and test case by Jiri Slaby to handle "initializing globals when	Cristian Cadar
	a global has an undef fill of holes inside structures." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@177285 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8