• Alexandre Duret-Lutz's avatar
    product: fix handling of output_aborter · 1d7ad07c
    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
product.cc 21.2 KB