Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
ChangeLog
Find file
Blame
History
Permalink
* src/tgbatest/emptchkr.test: Tune the "big degeneralized" test
· 0fc279c5
Alexandre Duret-Lutz
authored
Dec 10, 2004
so it actually explore some accepting automata.
0fc279c5
To find the state of this project's repository at the time of any of these versions, check out
the tags
.