Commit ca3d4c86 authored by Tobias Meggendorfer's avatar Tobias Meggendorfer

Update README.md

parent be4af9f6
......@@ -15,13 +15,4 @@ Developers:
1. Import project in IntelliJ, enable gradle auto-import
2. Run `./gradlew compileJava` to create the prism.jar and run the annotation processor
Note: `./gradlew compileJava` has to be run whenever some of the annotation processor classes is changed.
Example Configurations
======================
* `-m rabin3.nm --unbounded`
* `-m wlan4.nm --const k=0,TRANS_TIME_MAX=10 --bounded 100 --heuristic PROB`
* `-m cyclin.sm --const N=4 --bounded 100 --uniformization 30 --heuristic WEIGHTED`
* `-m zeroconf.nm --const N=1000,K=1000,err=0.01,reset=false --unbounded`
\ No newline at end of file
Note: `./gradlew compileJava` has to be run whenever some of the annotation processor classes is changed.
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment