Commit 91a0517d authored by Benoit Barbot's avatar Benoit Barbot
Browse files

progress

parent ad522d5e
Pipeline #2095 passed with stages
in 2 minutes and 9 seconds
......@@ -59,11 +59,12 @@ Simple interaction
Timed test without s nor z
$ wordgen twoears.prism -v 0 --traj 1 --template "0.5[0.1]0.25[b]0.65[0.2]"
0.454917[a] 0.394449[b] 0.650000[a]
$ wordgen twoears.prism --seed 42 twoears.data --gnuplot-driver png --output-format state_list_full | sed 's/[[][0-9]*[.][0-9]*s[]]//g'
Reading Prism automaton file.
Computing forward reachability graph ... 3 states found.
Splitting reachability graph ... 4 states found.
Computing Distribution[floating point; Poly; no s; clocks:{y; x; }; vars:{t; z; s; }] -> 3: [|||]
Precomputation file found ! [0.00]
Reading Distribution[floating point; Poly; no s; clocks:{y; x; }; vars:{t; z; s; }] -> 3
Sampling: []
$ wordgen nfm19.prism --seed 42 --traj 5 --output-format state_list_full --sampler halton -v 3 | sed 's/[[][0-9]*[.][0-9]*s[]]//g'
......
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