KiriCheck class abstract
Global test settings.
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Static Properties
- edgeCasePolicy ↔ EdgeCasePolicy
-
The policy for including or excluding edge cases in the generated examples.
getter/setter pair
- generationPolicy ↔ GenerationPolicy
-
The policy for generating examples.
getter/setter pair
- maxExamples ↔ int
-
The maximum number of examples to generate and test.
getter/setter pair
- maxShrinkingTries ↔ int
-
The maximum number of attempts to shrink a failing example to its simplest form.
getter/setter pair
- maxStatefulCommandTries ↔ int
-
The maximum number of attempts to find a valid command for stateful properties.
getter/setter pair
- maxStatefulCycles ↔ int
-
The maximum number of cycles to run for stateful properties.
getter/setter pair
- maxStatefulShrinkingCycles → int
-
The maximum number of attempts to shrink a failing stateful example to its simplest form.
no setter
- maxStatefulSteps ↔ int
-
The maximum number of steps to run for stateful properties.
getter/setter pair
- maxTries ↔ int
-
The maximum number of attempts to find a valid example if the first try doesn't meet the property requirements.
getter/setter pair
- seed ↔ int?
-
The seed value for the random to ensure reproducibility of tests.
getter/setter pair
- shrinkingPolicy ↔ ShrinkingPolicy
-
The policy for shrinking failing examples.
getter/setter pair
- statefulCycleTimeout ↔ Timeout
-
The timeout for each stateful cycle.
getter/setter pair
- timeout ↔ Timeout?
-
Sets a timeout for the test. If the test runs longer, it will be marked as failed.
getter/setter pair
- verbosity ↔ Verbosity
-
The verbosity level for the test output.
getter/setter pair