Skip to content
Semantic Delta Debugging
C++ C Python Prolog
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
doc
evaluation
ppt
src
.gitignore
README
waf
wscript

README

Configure once using:
  ./waf configure --llvm-prefix=/unsup/llvm-2.9 --prefix=`pwd`

 This tells waf to install into the bin/ directory

For each compile, run
  ./waf install


To run the resulting generator:
  ./bin/GenerateConstraints -I/usr/lib/gcc/x86_64-redhat-linux/4.1.2/include -plugin gen-constraints /path/to/file

We can add arguments using:
  -plugin-arg-gen-constraints XXXXXXX

but we have to handle the parsing ourselves.
Something went wrong with that request. Please try again.