• 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
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...