alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* python/ajax/spotcgi.in: Rename acc.is_tt() to acc.is_t().

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-01-15 08:50:48 +01:00
parent f5d156abf2
commit c22ef61037
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/ajax/spotcgi.in
View file

@ -364,7 +364,7 @@ def print_stats(automaton, detinfo = False, ta = False):
unbufprint(", acceptance condition: Büchi") unbufprint(", acceptance condition: Büchi")
else: else:
unbufprint(", acceptance condition: " + str(acc)) unbufprint(", acceptance condition: " + str(acc))
if acc.is_tt(): if acc.is_t():
unbufprint(" (all cycles are accepting)") unbufprint(" (all cycles are accepting)")
unbufprint("</p>\n") unbufprint("</p>\n")
# Decide whether we will render the automaton or not. # Decide whether we will render the automaton or not.