-
Alexandre Duret-Lutz authored
For example to interface with Rabinizer, we can now use 'java -jar /pathto/Rabinizer.jar -ltl2dstar %F %D; mv %D.dst %D' because Rabinizer always append a suffix to its last argument, we rename the file... * src/bin/ltlcross.cc (printable_result_filename): Adjust.
57f712fc