Skip to content
  • Alexandre Duret-Lutz's avatar
    get read of twa_safra_complement · 6a662a6d
    Alexandre Duret-Lutz authored
    * spot/twa/twasafracomplement.cc, spot/twa/twasafracomplement.hh,
    tests/core/complementation.cc: Delete.
    * tests/Makefile.am, spot/twa/Makefile.am: Adjust.
    * tests/core/complementation.test: Rewrite using the new determinization
    code.
    * python/spot/impl.i: Do not mention twa_safra_complement anymore.
    * NEWS: Mention the removal.
    6a662a6d