Skip to content
  • Alexandre Duret-Lutz's avatar
    acc: turn some assertions into exceptions · 6d9d35c9
    Alexandre Duret-Lutz authored
    * spot/misc/bitset.cc, spot/misc/bitset.hh (set, clear):
    Turn asserts into exceptions.
    * spot/twa/acc.hh (mark_t): As a consequence, the
    constructor is not noexcept anymore.
    * tests/core/acc.cc, tests/python/except.py: More tests.
    6d9d35c9