X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=blobdiff_plain;f=csrc%2Foceani-tests.mdc;h=1d7282da7f95babcfc8a342f48ff1748c19da9b4;hp=7a408179378b67a59b15062e2ed0946eb417575f;hb=025b04b80f75fd004da2b5e884b35233ede2f6f5;hpb=234ae7c044ea183c719799a5369b2cfcbc69fd27 diff --git a/csrc/oceani-tests.mdc b/csrc/oceani-tests.mdc index 7a40817..1d7282d 100644 --- a/csrc/oceani-tests.mdc +++ b/csrc/oceani-tests.mdc @@ -97,7 +97,7 @@ arguments separated from the name by commas. For each test, there is a section ## valgrind test code @[ -n "$$SKIP_COVERAGE_CHECK" ] || awk '/NOTEST/ { next } /^ *[1-9]/ {ran+=1} /^ *###/ {skip+=1} \ END {printf "coverage: %6.2f%%\n", ran * 100 / (ran + skip); \ - if (ran < (ran + skip) *0.968) exit(1) }' \ + if (ran < (ran + skip) *0.973) exit(1) }' \ coverage/oceani.mdc.gcov coverage_oceani: oceani.c