Skip to content
  • Etienne Renault's avatar
    mc: rework and test conversion into twa · 4bc35906
    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.
    4bc35906