ProbReach v1.0

To run ProbReach use the following version of dReal/dReach

Usage:

./ProbReach <options> <model-file.pdrh>:

options:

-e <double> - length of probability interval or maximum length of the box (default 0.001)
-d <double> - prescision used to call dReach (default 0.001)
-l <string> - full path to dReach binary (default empty)
-k <int> - reachability depth (default 0)