Commit 62b86d30 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

adjust test case to work with ltl2dstar 0.5.4

* tests/core/ltl2dstar.test: Here.
parent fc1ab9f9
Pipeline #747 passed with stages
in 163 minutes and 4 seconds