• Alexandre Duret-Lutz's avatar
    python: improve bdd_dict bindings · 3908cc1b
    Alexandre Duret-Lutz authored
    Fixes #372.
    
    * python/spot/impl.i: Refactor the handling of exceptions using a
    Lippincott function.  Map out_of_range to IndexError.  Add
    PyObject* version for bdd_dict's register and unregister functions
    so we can use Python objects as well.
    * tests/python/bdddict.py: New file.
    * tests/Makefile.am: Add it.
    * NEWS: Mention the changes.
    3908cc1b
Name
Last commit
Last update
..
core Loading commit data...
ltsmin Loading commit data...
python Loading commit data...
sanity Loading commit data...
.gitignore Loading commit data...
Makefile.am Loading commit data...
run.in Loading commit data...