Script to find all program points in a given dtrace file that preserve a given invariant using Daikon. The Java file that checks the invariant has to be created with ../ontology_to_daikon. See the method 'test' in 'inv_check.py' for an example, or run

python ./

to execute a test.