• Alexandre Duret-Lutz's avatar
    ltlcross: diagnose missing i/o specifications earlier. · 6a547371
    Alexandre Duret-Lutz authored
    * src/misc/formater.cc, src/misc/formater.hh (scan): New method.
    (prime): Use it.
    * src/bin/ltlcross.cc (translator_runner::translator_runner): Scan each
    specification string, and report those missing an input or output
    %-sequence.
    * NEWS: Mention it.
    6a547371