Commit 859bcf73 authored by Benoit Barbot's avatar Benoit Barbot
Browse files

remove pp

parent dced81d4
Pipeline #2239 passed with stages
in 2 minutes and 57 seconds
......@@ -105,8 +105,7 @@ struct
| StateListDelay -> fprintf outfile "%a\t%i@." print_state st 1
| CoSim ->
fprintf outfile
"{@[<h 0>\"state\":\"%s\",@ \"clocks\":[%a],@. @[<v 2>@[<v \
0>\"transition\":[%a]@]@]@]}@."
"{\"state\":\"%s\", \"clocks\":[%a], \"transition\":[%a]}@."
rgpoly.statelist.(fst st).name
(fun f (_, x) ->
Array.iteri
......@@ -186,8 +185,7 @@ struct
rgpoly.statelist.((List.hd tr.ZoneGraph.miniedge).target)
in
fprintf f
"%s@ {\"label\":\"%s\",@ \"min_time\": %g,@ \
\"max_time\":%g,@ \"time\":%g,@ \"target\":\"%s\"}"
"%s{\"label\":\"%s\",\"min_time\": %g, \"max_time\":%g, \"time\":%g, \"target\":\"%s\"}"
(if i > 0 then "," else "")
tr.ZoneGraph.action low up time target.name))
rgpoly.ZoneGraph.statelist.(get_loc st).ZoneGraph.transition
......
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