Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bench
ltlcounter
run
Find file
Blame
History
Permalink
Augment the size of the ltlclasses benchmark.
· 87ee1cfe
Alexandre Duret-Lutz
authored
Dec 10, 2010
* bench/ltlclasses/run: Augment the max size to 20. * bench/ltlcounter/run: Typo in comment.
87ee1cfe