Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltlcounter.test
Find file
Blame
History
Permalink
* src/tgbatest/ltlcounter.test (run): Only construct small
· b57fdcb6
Alexandre Duret-Lutz
authored
Nov 05, 2009
formulae (i.e. n<=2) under valgrind. The test case is too slow otherwise.
b57fdcb6