• Alexandre Duret-Lutz's avatar
    ltlcross: Allow %D, %N, or %T to be used multiple time · 57f712fc
    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