Good afternoon,
You are probably already aware of that, but the spot online translator is
not working anymore. I am trying to translate a LTL formula into a Buchi
Automaton. It was working until 2 days ago, but now i get this:
Traceback (most recent call last):
File "/var/www/html/cgi-bin/spotcgi.py", line 732, in <module>
render_automaton(degen, dont_run_dot)
File "/var/www/html/cgi-bin/spotcgi.py", line 318, in render_automaton
render_dot_maybe(dotsrc.str(), dont_run_dot, hoaname)
File "/var/www/html/cgi-bin/spotcgi.py", line 305, in render_dot_maybe
render_dot(autprefix, hoaname)
File "/var/www/html/cgi-bin/spotcgi.py", line 237, in render_dot
run_dot(basename, 'svg')
File "/var/www/html/cgi-bin/spotcgi.py", line 230, in run_dot
os.link(outname, tmpdir + "/" + ext)
FileNotFoundError: [Errno 2] No such file or directory:
'../spotimg/960f234ef7d2cd7d8fbab23c49603c6a66fc284d.svg' ->
'../spotimg/0f33f8af71a0356e3d63971bc8a4a7e39e64b7d9-154/svg'
Any fix to the problem?
Thank you!
Kind Regards,
Matteo Lucchi