vvklee

Verification and Validation Project Using KLEE

Notes: Has support for using a custom built toolchain and the CDE package. So far CDE package does not work as well and it experimental.

Usage: # First build a toolchain (download, build, build example) ./setupVVKlee -dbe

# Now run tests on the example
./testCoreutils.sh -s

Name	Name	Last commit message	Last commit date
Latest commit arges May 12, 2012 f549d43 · May 12, 2012 History 19 Commits
examples/src	examples/src	Updated with simple examples, changed the way that test cases are rep…	May 8, 2012
patch	patch	Builds coreutils-2.18 example.	Apr 20, 2012
.gitignore	.gitignore	Add base script for testing coreutils.	May 4, 2012
README.md	README.md	CDE integration and improved tests.	May 5, 2012
parseResults.sh	parseResults.sh	Add a script to parse results.	May 6, 2012
setupExamples.sh	setupExamples.sh	Updated with simple examples, changed the way that test cases are rep…	May 8, 2012
setupVVKlee.sh	setupVVKlee.sh	Merge branch 'master' of github.com:arges/vvklee	May 6, 2012
testCoreutils.sh	testCoreutils.sh	Add a script to parse results.	May 6, 2012
testExamples.sh	testExamples.sh	Modify testExamples.sh to move proper files.	May 12, 2012

Provide feedback