umazalakain/rover

To run an example scenario execute sbt run.

To run the property-based test cases execute sbt test.