]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 275179e) | patch
mark-tested: don't fail if coverage is too low
authorNeilBrown <neil@brown.name>
Tue, 9 Nov 2021 05:05:50 +0000 (16:05 +1100)
committerNeilBrown <neil@brown.name>
Tue, 9 Nov 2021 05:08:21 +0000 (16:08 +1100)
commit002a71e19a00ba60303b3406bfe3e5da3c828f5d
tree6b3d5cd826d4a494a8fa29cdd7b09deb930e9aaftree | snapshot
parent275179e690be95edba2948803e350e161c7d7c7ccommit | diff
mark-tested: don't fail if coverage is too low

As the whole point of mark-tested is to help improve coverage, it is
silly to rail if coverage is too low.
So make it possible to easily skip that test in the Makefile.

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