veeso / tui-realm / 15585455806

92%

main: 92%

push

github

fix: Fix `subclause_and_not!` macro, which was creating a `not(AndMany...)` instead of `AndMany(not(...), not(...), ...)`.

10 of 10 new or added lines in 1 file covered. (100.0%)

5347 of 5785 relevant lines covered (92.43%)

5.96 hits per line