Go stdlib package — testing/quick. Auto-indexed from CDN. Method-level security roles have not been annotated; rule writers should inspect the source before use.
.Check()NeutralCheck(f any, config *Config) error
Check looks for an input to f, any function that returns bool,
.CheckEqual()NeutralCheckEqual(f any, g any, config *Config) error
CheckEqual looks for an input on which f and g return different results.
.CheckEqualError.Error()NeutralCheckEqualError.Error() string
CheckEqualError.Error function.
.Value()NeutralValue(t reflect.Type, rand *rand.Rand) (reflect.Value, bool)
Value returns an arbitrary value of the given type.
.CheckEqualError()Neutraltype CheckEqualError ...
A CheckEqualError is the result CheckEqual finding an error.
.CheckError()Neutraltype CheckError ...
A CheckError is the result of Check finding an error.
.Generator()Neutraltype Generator ...
A Generator can generate random values of its own type.
| FQN | Field | |
|---|---|---|
| testing/quick | fqns[0] |
Wrong FQN → 0 findings. Verify with: change fqns to garbage → must produce 0 results.
// standard library — no go.mod entry required
from codepathfinder.go_rule import ... # testing/quick