-
Damien Lefortier authored
* src/tgbatest/spotlbtt.test: Use the above function with LaCIM for ELTL which greatly reduce the size of the automata!
1aa10e13
* src/tgbatest/spotlbtt.test: Use the above function with LaCIM for ELTL which greatly reduce the size of the automata!