-
Alexandre Duret-Lutz authored
Reported by Fanda when he was testing ltl3dra 0.2.2. * src/bin/ltlcross.cc: Here. * src/tests/ltl3dra.test: New file. * src/tests/Makefile.am: Add it.
b2e812b1
Reported by Fanda when he was testing ltl3dra 0.2.2. * src/bin/ltlcross.cc: Here. * src/tests/ltl3dra.test: New file. * src/tests/Makefile.am: Add it.