ContractScalaCheckCommands

scalus.testing.ContractScalaCheckCommands
See theContractScalaCheckCommands companion class

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply[S](initialEmulator: ImmutableEmulator, step: ContractStepVariations[S], timeout: FiniteDuration = ...)(checkInvariants: (BlockchainReader, S) => Future[Prop] = ...)(using ExecutionContext): ContractScalaCheckCommands[S]

Create a ContractScalaCheckCommands adapter.

Create a ContractScalaCheckCommands adapter.

Value parameters

checkInvariants

async function to check invariants after successful transactions

initialEmulator

the starting emulator state with funded addresses

step

the contract step variations to test

timeout

timeout for async operations (default: 30 seconds)

Attributes

Returns

a Commands instance ready for property testing