🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
lint go golang ci linter static-analysis safety contracts dbc type-checker design-by-contract guards deal golangci-lint
-
Updated
Nov 17, 2023 - Go