-
Alexandre Duret-Lutz authored
This addresses part of #35, and is just a generalization of the rules from 646c5170 for #263 (hence, no new documentation). * spot/tl/simplify.cc: Implement this. * tests/core/reduccmp.test: Add test cases. * tests/core/stutter-tgba.test: Adjust to expect smaller automata.
6cd6802a