]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9cd2fc) | patch
oceani-tests: make it possible to skip valgrind tests.
authorNeilBrown <neil@brown.name>
Sat, 30 Oct 2021 04:00:03 +0000 (15:00 +1100)
committerNeilBrown <neil@brown.name>
Sun, 7 Nov 2021 00:19:49 +0000 (11:19 +1100)
commit2807385c1276c2bf289b237c2adda757ec19acc8
treec408703a7f111ee71bbb61c367c7a4682315db46tree | snapshot
parenta9cd2fcd52ae4ba9c19f775221cc14d2745083b3commit | diff
oceani-tests: make it possible to skip valgrind tests.

valgrind tests are slow and not always wanted, particilarly when
examining coverage.  So make it easy to skip them.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc diff | blob | history
The Ocean Language Project