• 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
..
spot Loading commit data...
.gitignore Loading commit data...
Makefile.am Loading commit data...
buddy.i Loading commit data...