• 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
..
gen Loading commit data...
graph Loading commit data...
kripke Loading commit data...
ltsmin Loading commit data...
misc Loading commit data...
parseaut Loading commit data...
parsetl Loading commit data...
priv Loading commit data...
ta Loading commit data...
taalgos Loading commit data...
tl Loading commit data...
twa Loading commit data...
twaalgos Loading commit data...
.gitignore Loading commit data...
Makefile.am Loading commit data...
libspot.pc.in Loading commit data...