ReplayMOP

Deterministic replay of concurrent Java programs using monitoring oriented programming.

##Build:

1. Install Maven.
2. Install RV-Predict.
3. Run mvn install:install-file -Dfile=path/to/rv-predict/lib/rv-predict.jar -DgroupId=com.runtimeverification.rvpredict -DartifactId=root -Dversion=1.3-SNAPSHOT -Dpackaging=jar
4. Go to the project's root and run mvn package