Skip to content

Latest commit

 

History

History
13 lines (7 loc) · 460 Bytes

README.md

File metadata and controls

13 lines (7 loc) · 460 Bytes
Raw

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