Skip to content

Warn on always false contract predicates#117

Draft
robjtede wants to merge 1 commit into
mainfrom
codex-detect-false-contract-predicate
Draft

Warn on always false contract predicates#117
robjtede wants to merge 1 commit into
mainfrom
codex-detect-false-contract-predicate

fix: warn on always false contract predicates

6f3a4b5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar