Commit 3751960a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* wrap/python/cgi/ltl2tgba.in: Fix degeneralisation and output of

accepting runs.
parent 851ca0d8
2006-01-24 Alexandre Duret-Lutz <adl@src.lip6.fr>
* wrap/python/cgi/ltl2tgba.in: Fix degeneralisation and output of
accepting runs.
2006-01-10 Alexandre Duret-Lutz <adl@gnu.org>
* wrap/python/spot.i: Wrap spot::emptiness_check_instantiator.
......
......@@ -504,7 +504,7 @@ if show_automaton_png:
if show_degen_png or show_never_claim:
print '<H3>Degeneralized automaton</H3>'
degen = spot.tgba_tba_proxy(automaton)
degen = spot.tgba_sba_proxy(automaton)
dont_run_dot = print_stats(degen)
if show_degen_png:
render_automaton(imgprefix + '-d', degen, dont_run_dot)
......@@ -566,6 +566,7 @@ if show_lbtt:
if draw_acc_run or print_acc_run:
print '<H3>Accepting run</H3>'
sys.stdout.flush()
err = ""
opt = emptiness_check + "(" + emptiness_check_options + ")"
eci, err = spot.emptiness_check_instantiator.construct(opt)
......
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