-
Alexandre Duret-Lutz authored
Fixes #274. * python/spot/impl.i: Bind sbacc(). * tests/python/sbacc.py: New tesat. * tests/Makefile.am: Add sbacc.py.
2ecd93ac
Fixes #274. * python/spot/impl.i: Bind sbacc(). * tests/python/sbacc.py: New tesat. * tests/Makefile.am: Add sbacc.py.