]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42762ac) | patch
tests: restore coverage testing.
authorNeilBrown <neil@brown.name>
Fri, 5 Mar 2021 08:04:45 +0000 (19:04 +1100)
committerNeilBrown <neil@brown.name>
Fri, 5 Mar 2021 08:04:45 +0000 (19:04 +1100)
commit1f62e690cacf5f903137e45843df78e941558434
tree8635f1a33cef34059842a9564f83bf95822c4312tree | snapshot
parent42762ac25cbe44520d8c8a94dbe7ab1398e73018commit | diff
tests: restore coverage testing.

I don't know what changed, but coverage testing stopped working.
Fixed now.

Also add some "|| exit 1" to fail quickly when needed.

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