• Alexandre Lewkowicz's avatar
    safra: Add complete option and rename files · 8068cfad
    Alexandre Lewkowicz authored
    * src/tests/safra.cc, src/twaalgos/safra.cc,
    src/twaalgos/safra.hh, src/tests/safra.test: Rename as...
    * spot/twaalgos/safra.cc, spot/twaalgos/safra.hh, tests/core/safra.cc
    tests/core/safra.test: ... these.
    * tests/Makefile.am: Update.
    8068cfad
Makefile.am 9.59 KB