-
Alexandre Duret-Lutz authored
* src/misc/formater.hh (printable_value): Add more accessors. * src/bin/ltlcheck.cc: Use the formater class to factor the %-expansion loop, and reuse filenames (such as %F, %S, and %L) between executions on the same formula.
f6dc6412