| 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
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 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 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>