-
Alexandre Duret-Lutz authored
Bug introduced in abe2c08b, visible in tests/python/product.ipynb, and tests/python/acc_cond.ipynb. * spot/twa/acc.hh: fix operator| and operator&. * tests/python/acc_cond.ipynb: Adjust test case.
f8ef06ac
Bug introduced in abe2c08b, visible in tests/python/product.ipynb, and tests/python/acc_cond.ipynb. * spot/twa/acc.hh: fix operator| and operator&. * tests/python/acc_cond.ipynb: Adjust test case.