7 Jul
2016
7 Jul
'16
1:59 p.m.
hi there,
smth is wrong with online translator for LTL3BA -- see message below.
Thanks for amazing web-page!
regards,
ayrat
*RuntimeError* Python 3.4.2: /usr/bin/python3
Thu Jul 7 11:57:15 2016
A problem occurred in a Python script. Here is the sequence of function
calls leading up to the error, in the order they occurred.
/var/www/html/cgi-bin/spotcgi.py
<file:///var/www/html/cgi-bin/spotcgi.py> in **()
747 dont_run_dot = print_stats(degen, True)
748 automaton.set_name(str(f))
=> 749 render_automaton(degen, dont_run_dot)
750 degen = 0
751 automaton = 0
*render_automaton* = <function render_automaton>, *degen* =
<spot.impl.twa_graph; proxy of <Swig Object of t...ed_ptr<
spot::twa_graph > *' at 0x7f2ae4164810> >, *dont_run_dot* = False
/var/www/html/cgi-bin/spotcgi.py
<file:///var/www/html/cgi-bin/spotcgi.py> in
*render_automaton*(automaton=<spot.impl.twa_graph; proxy of <Swig Object
of t...ed_ptr< spot::twa_graph > *' at 0x7f2ae4164810> >,
dont_run_dot=False)
314 else: # TGBA
315 if not dont_run_dot:
=> 316 hoaname = save_hoa(automaton)
317 spot.print_dot(dotsrc, automaton, '.t' if buchi_type == 't'
else '.')
318 render_dot_maybe(dotsrc.str(), dont_run_dot, hoaname)
*hoaname* = None, /global/ *save_hoa* = <function save_hoa>,
*automaton* = <spot.impl.twa_graph; proxy of <Swig Object of t...ed_ptr<
spot::twa_graph > *' at 0x7f2ae4164810> >
/var/www/html/cgi-bin/spotcgi.py
<file:///var/www/html/cgi-bin/spotcgi.py> in
*save_hoa*(automaton=<spot.impl.twa_graph; proxy of <Swig Object of
t...ed_ptr< spot::twa_graph > *' at 0x7f2ae4164810> >)
259 def save_hoa(automaton):
260 hoasrc = spot.ostringstream()
=> 261 spot.print_hoa(hoasrc, automaton, 't' if buchi_type == 't'
else '')
262 hoasrc = hoasrc.str()
263 hoasrc += '\n'
/global/ *spot* = <module 'spot' from
'/usr/lib/python3/dist-packages/spot/__init__.py'>, spot.*print_hoa* =
<built-in function print_hoa>, *hoasrc* = <spot.impl.ostringstream;
proxy of <Swig Object of type 'std::ostringstream *' at 0x7f2ae4164d20>
, *automaton* = <spot.impl.twa_graph; proxy of
<Swig Object of
t...ed_ptr< spot::twa_graph > *' at 0x7f2ae4164810>
>, /global/
*buchi_type* = 't'
*RuntimeError*: print_hoa(): automaton uses unregistered atomic
propositions
args = ('print_hoa(): automaton uses unregistered atomic propositions',)
with_traceback = <built-in method with_traceback of RuntimeError object>