/wp-lib

Experimenting with the CBAT WP library

Primary LanguageOCaml

Using the WP library demo

Clean:

make clean

Build:

make build

Run it:

make run file1=/path/to/exe1 file2=/path/to/exe2 func=main property="(true)"