Online translator: RuntimeError for LTL3BA - Spot

7 Jul 2016

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>