sdk/golang/Standard Library/GoTestingQuick
Standard Library

GoTestingQuick

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.

Other Methods

.Check()Neutral
#
Signature
Check(f any, config *Config) error

Check looks for an input to f, any function that returns bool,

.CheckEqual()Neutral
#
Signature
CheckEqual(f any, g any, config *Config) error

CheckEqual looks for an input on which f and g return different results.

.CheckEqualError.Error()Neutral
#
Signature
CheckEqualError.Error() string

CheckEqualError.Error function.

.CheckError.Error()Neutral
#
Signature
CheckError.Error() string

CheckError.Error function.

.SetupError.Error()Neutral
#
Signature
SetupError.Error() string

SetupError.Error function.

.Value()Neutral
#
Signature
Value(t reflect.Type, rand *rand.Rand) (reflect.Value, bool)

Value returns an arbitrary value of the given type.

.CheckEqualError()Neutral
#
Signature
type CheckEqualError ...

A CheckEqualError is the result CheckEqual finding an error.

.CheckError()Neutral
#
Signature
type CheckError ...

A CheckError is the result of Check finding an error.

.Config()Neutral
#
Signature
type Config ...

A Config structure contains options for running a test.

.Generator()Neutral
#
Signature
type Generator ...

A Generator can generate random values of its own type.

Fully-Qualified Names

FQNField
testing/quickfqns[0]

Wrong FQN → 0 findings. Verify with: change fqns to garbage → must produce 0 results.

Import

go.mod
// standard library — no go.mod entry required
rule.py
from codepathfinder.go_rule import ...  # testing/quick