From: NeilBrown Date: Sat, 18 Dec 2021 11:00:48 +0000 (+1100) Subject: oceani: last fixes for UNTESTED for now. X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;ds=sidebyside;h=631d5279eef7fe755d9df27ce16b416ba976154b;hp=631d5279eef7fe755d9df27ce16b416ba976154b;p=ocean oceani: last fixes for UNTESTED for now. I still don't get 100% due to some case labels which gcov think are not tested, but I don't understand why. Signed-off-by: NeilBrown ---