Measure actual variable-pair invariant coverage and expose dormant checks - #160

Measure actual variable-pair invariant coverage and expose dormant checks#160

Essoz merged 1 commit into

mainOrderLab/TrainCheck:mainfrom

codex/consistency-check-coverageOrderLab/TrainCheck:codex/consistency-check-coverageCopy head branch name to clipboard