Open
Description
From #126:
// These one will be reported by incorrect-assert.
ignoredAssertions = append(ignoredAssertions,
Assertion{Fn: "Negative", Argsf: "uint(a)"},
Assertion{Fn: "Less", Argsf: "uint(a), 0"},
Assertion{Fn: "True", Argsf: "uint(a) < 0"},
Assertion{Fn: "True", Argsf: "0 > uint(a)"},
Assertion{Fn: "False", Argsf: "uint(a) >= 0"},
Assertion{Fn: "False", Argsf: "0 <= uint(a)"},
)
Activity