-
Etienne Renault authored
In the latest version of RERS, the inputs is slightly modified, our script failed the translation * benchs/RERS/2020-Problem1-ltl.go.formulae.txt, benchs/RERS/2020-Problem2-ltl.go.formulae.txt, benchs/RERS/2020-Problem4-ltl.go.formulae.txt, benchs/RERS/2020-Problem5-ltl.go.formulae.txt, benchs/RERS/2020-Problem7-ltl.go.formulae.txt: Here.
2eaa308e