CommandsState
scalus.testing.CommandsState
State for ScalaCheck Commands testing (abstract model).
This state is used by ScalaCheck's Commands framework to track the abstract model state during property-based testing. It wraps an ImmutableEmulator (which provides the blockchain state), the contract-specific state of type S, and an RNG seed for deterministic command generation.
Type parameters
- S
-
the contract state type
Value parameters
- contractState
-
the contract-specific state extracted from UTxOs
- emulator
-
the immutable emulator representing blockchain state
- rng
-
ScalaCheck RNG seed for deterministic generation
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article