tests/Makefile.am · b7ef7c55d71d6cac85d916286c14f161c1c426c4 · Spot / Spot

twaalgos/totgba: Add dnf_to_streett() method · 50e99cdc

Alexandre GBAGUIDI AISSE authored Jun 17, 2017

* NEWS: Update.
* spot/twaalgos/totgba.hh: Declare dnf_to_streett().
* spot/twaalgos/totgba.cc: Implement dnf_to_streett().
* bin/autfilt.cc: Add --dnf-to-streett cmd line option.
* tests/core/dnfstreett.test: Add test.
* tests/Makefile.am: Add test file.

50e99cdc