Commit a486a6b5 authored by Etienne Renault's avatar Etienne Renault

modelcheck: more relevant information for --csv

* tests/ltsmin/check.test,
tests/ltsmin/modelcheck.cc: Here.
parent add1602b
Pipeline #18862 failed with stage
in 97 minutes and 43 seconds