-
Alexandre Duret-Lutz authored
* python/spot/impl.i: Fix instantiation of vector_rs_pairs. * tests/python/setacc.py: Add test cases. * NEWS: Mention the bugs.
5bb9c87d
* python/spot/impl.i: Fix instantiation of vector_rs_pairs. * tests/python/setacc.py: Add test cases. * NEWS: Mention the bugs.