Commit f4bb394e authored by Lars Schieffer's avatar Lars Schieffer
Browse files

fix bug in downloadModels

parent 502c972e
#QCOMP
##DTMC
wget http://qcomp.org/benchmarks/dtmc/brp/brp.jani -O tests/resdtmc/brp/brp.jani
wget http://qcomp.org/benchmarks/dtmc/coupon/coupon.5-2.jani -O tests/resdtmc/coupon/coupon.5-2.jani
wget http://qcomp.org/benchmarks/dtmc/leader_sync/leader_sync.3-2.jani -O tests/resdtmc/leader_sync/leader_sync.3-2.jani
wget http://qcomp.org/benchmarks/dtmc/egl/egl.jani -O tests/resdtmc/egl/egl.v1.jani
wget http://qcomp.org/benchmarks/dtmc/brp/brp.jani -O tests/res/dtmc/brp/brp.jani
wget http://qcomp.org/benchmarks/dtmc/coupon/coupon.5-2.jani -O tests/res/dtmc/coupon/coupon.5-2.jani
wget http://qcomp.org/benchmarks/dtmc/leader_sync/leader_sync.3-2.jani -O tests/res/dtmc/leader_sync/leader_sync.3-2.jani
wget http://qcomp.org/benchmarks/dtmc/egl/egl.jani -O tests/res/dtmc/egl/egl.v1.jani
##MDP
wget http://qcomp.org/benchmarks/mdp/beb/beb.3-4.jani -O tests/resmdp/beb/beb.3-4.jani
wget http://qcomp.org/benchmarks/mdp/consensus/consensus.2.jani -O tests/resmdp/consensus/consensus.2.v1.jani
wget http://qcomp.org/benchmarks/mdp/csma/csma.2-2.jani -O tests/resmdp/csma/csma.2-2.v1.jani
wget http://qcomp.org/benchmarks/mdp/elevators/elevators.a-3-3.jani -O tests/resmdp/elevators/elevators.a-3-3.v1.jani
wget http://qcomp.org/benchmarks/mdp/rectangle-tireworld/rectangle-tireworld.5.jani -O tests/resmdp/rectangle-tireworld/rectangle-tireworld.5.v1.jani
wget http://qcomp.org/benchmarks/mdp/tireworld/tireworld.17.jani -O tests/resmdp/tireworld/tireworld.17.v1.jani
wget http://qcomp.org/benchmarks/mdp/wlan/wlan.0.jani -O tests/resmdp/wlan/wlan.0.v1.jani
\ No newline at end of file
wget http://qcomp.org/benchmarks/mdp/beb/beb.3-4.jani -O tests/res/mdp/beb/beb.3-4.jani
wget http://qcomp.org/benchmarks/mdp/consensus/consensus.2.jani -O tests/res/mdp/consensus/consensus.2.v1.jani
wget http://qcomp.org/benchmarks/mdp/csma/csma.2-2.jani -O tests/res/mdp/csma/csma.2-2.v1.jani
wget http://qcomp.org/benchmarks/mdp/elevators/elevators.a-3-3.jani -O tests/res/mdp/elevators/elevators.a-3-3.v1.jani
wget http://qcomp.org/benchmarks/mdp/rectangle-tireworld/rectangle-tireworld.5.jani -O tests/res/mdp/rectangle-tireworld/rectangle-tireworld.5.v1.jani
wget http://qcomp.org/benchmarks/mdp/tireworld/tireworld.17.jani -O tests/res/mdp/tireworld/tireworld.17.v1.jani
wget http://qcomp.org/benchmarks/mdp/wlan/wlan.0.jani -O tests/res/mdp/wlan/wlan.0.v1.jani
\ 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