scalus.testing.ContractScalaCheckCommands
Attributes
- Companion
-
class
- Graph
-
- Supertypes
-
class Object
trait Matchable
class Any
- Self type
-
Members list
Create a ContractScalaCheckCommands adapter.
Create a ContractScalaCheckCommands adapter.
Value parameters
- checkInvariants
-
async function to check invariants after successful transactions
- emulator
-
the starting emulator state with funded addresses (will be converted to ImmutableEmulator)
- step
-
the contract step variations to test
- timeout
-
timeout for async operations (default: 30 seconds)
Attributes
- Returns
-
a Commands instance ready for property testing