some examples on ltldo.html are missing
All the examples reading sample.ltl
on https://spot.lrde.epita.fr/ltldo.html have their output missing, and team city reports Babel evaluation exited with code 2
.
I suspect sample.ltl
is not written.
All the examples reading sample.ltl
on https://spot.lrde.epita.fr/ltldo.html have their output missing, and team city reports Babel evaluation exited with code 2
.
I suspect sample.ltl
is not written.