adjust test case to work with ltl2dstar 0.5.4

* tests/core/ltl2dstar.test: Here.
10 jobs for next in 163 minutes and 4 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed arch-clang #1916

00:32:12

passed arch-gcc-glibcxxdebug #1917

00:33:38

passed debian-gcc-snapshot #1915

00:54:05

passed debian-stable-gcc #1913

00:30:30

passed debian-unstable-gcc-coverage #1914

00:19:54

88.9%
passed debpkg-stable #1920

02:05:53

passed debpkg-unstable #1921

01:37:24

passed mingw-shared #1918

00:08:58

passed mingw-static #1919

00:08:47

 
  Publish
passed publish-unstable #1922
dput

00:04:12