Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltltest
randltl.cc
Find file
Blame
History
Permalink
* src/ltltest/randltl.cc: Add options -r and -u.
· 174b531f
Alexandre Duret-Lutz
authored
Jan 06, 2005
* src/ltltest/reduc.test: Use randltl -u, and run it through valgrind.
174b531f