• Etienne Renault's avatar
    mc: rework and test conversion into twa · a4269030
    Etienne Renault authored
    * spot/mc/Makefile.am,
    spot/mc/reachability.hh,
    spot/mc/utils.hh,
    tests/Makefile.am,
    tests/ltsmin/.gitignore,
    tests/ltsmin/testconvert.cc,
    tests/ltsmin/testconvert.test: Here.
    a4269030
.gitignore 28 Bytes