tests/Makefile.am · d1d3ee38e699746547dbd3cec39ff8df5b97cf42 · Spot / Spot

python: add bindings for bdd_to_formula() · d1d3ee38

Alexandre Duret-Lutz authored Mar 08, 2017

Follow-up to an email from Ayrat Khalimov.

* python/spot/impl.i: Include twa/formula2bdd.hh.
* python/spot/__init__.py: Make the dictionnary
optional.
* spot/twa/formula2bdd.cc: Throw an exception instead of asserting.
* tests/python/bdditer.py: New file.
* tests/Makefile.am: Add it.
* NEWS: Update.

d1d3ee38