-
Alexandre Duret-Lutz authored
* spot/twaalgos/product.cc: The res pointer should be passed by reference since we reset it to nullptr when output_aborter says "too large". * python/spot/impl.i: Add binding for powerset.hh, so we can use output_aborter in Python. * tests/python/prodexpt.py: Test it.
1d7ad07c