./rheo -f path_to_file.bc
runs the analysis on the provided .bc file

use `./rheo --help` for detailed information on supported options.


Possible rake commands:

rake test
 compiles and executes all tests located in the test/ folder