-
Damien Lefortier authored
* src/tgbatest/spotlbtt.test: Use the above function with LaCIM for ELTL which greatly reduce the size of the automata!
1aa10e13
To find the state of this project's repository at the time of any of these versions, check out the tags.