-
Alexandre Duret-Lutz authored
* spot/twaalgos/sbacc.cc (sbacc): Define the original-states property on the created automaton. * spot/twaalgos/sbacc.hh: Improve documentation. * tests/python/sbacc.py: Update test cases.
58b349d3
* spot/twaalgos/sbacc.cc (sbacc): Define the original-states property on the created automaton. * spot/twaalgos/sbacc.hh: Improve documentation. * tests/python/sbacc.py: Update test cases.