Count verification goals with the predicate that matches the check mode - #7
Open
repowazdogz-droid wants to merge 2 commits into
Open
Count verification goals with the predicate that matches the check mode#7repowazdogz-droid wants to merge 2 commits into
repowazdogz-droid wants to merge 2 commits into
