Direct Mode Testing

Run contracts directly in Python without a network. Provides Foundry-style cheatcodes for fast test execution.

Setup Functions

`deploy_contract`

Deploy a contract and return an instance.

deploy_contract(contract_path: Path, vm: 'VMContext', args: Any, sdk_version: Optional[str] = None, kwargs: Any)

Parameters:

Parameter	Type	Required	Default
`contract_path`	`Path`	Yes
`vm`	`'VMContext'`	Yes
`args`	`Any`	Yes
`sdk_version`	`Optional[str]`	No	`None`
`kwargs`	`Any`	Yes

Returns: Any

`load_contract_class`

Load a contract class from file.

Sets up SDK paths, WASI mock, and message context.

load_contract_class(contract_path: Path, vm: 'VMContext', sdk_version: Optional[str] = None)

Parameters:

Parameter	Type	Required	Default
`contract_path`	`Path`	Yes
`vm`	`'VMContext'`	Yes
`sdk_version`	`Optional[str]`	No	`None`

Returns: Type[Any]

`create_address`

Create a deterministic address from seed string.

create_address(seed: str)

Parameters:

Parameter	Type	Required	Default
`seed`	`str`	Yes

Returns: Any

`create_test_addresses`

Create a list of test addresses.

create_test_addresses(count: int = 10)

Parameters:

Parameter	Type	Required	Default
`count`	`int`	No	`10`

Returns: list

VMContext

Test VM context providing Foundry-style cheatcodes.

Usage: vm = VMContext() vm.sender = Address("0x" + "a" * 40) vm.mock_web("api.example.com", {"status": 200, "body": "{}"})

with vm.activate():
    contract = deploy_contract("Token.py", vm, owner)
    contract.transfer(bob, 100)

`vm.activate`

Activate this VM context for contract execution. Uses proper cleanup via ExitStack for resource management.

Patches datetime.datetime so that datetime.now() returns the warped time set via vm.warp(). This is dynamic: calling warp() mid-test updates _datetime and subsequent now() calls reflect it.

`vm.warp`

Set block timestamp (ISO format).

vm.warp(timestamp: str)

Parameters:

Parameter	Type	Required	Default
`timestamp`	`str`	Yes

Returns: None

`vm.deal`

Set balance for an address.

vm.deal(address: Any, amount: int)

Parameters:

Parameter	Type	Required	Default
`address`	`Any`	Yes
`amount`	`int`	Yes

Returns: None

`vm.snapshot`

Take a snapshot of current state. Returns snapshot ID.

Returns: int

`vm.revert`

Revert to a previous snapshot.

vm.revert(snapshot_id: int)

Parameters:

Parameter	Type	Required	Default
`snapshot_id`	`int`	Yes

Returns: None

`vm.mock_web`

Mock web requests matching URL pattern.

vm.mock_web(url_pattern: str, response: MockedWebResponseData)

Parameters:

Parameter	Type	Required	Default
`url_pattern`	`str`	Yes
`response`	`MockedWebResponseData`	Yes

Returns: None

`vm.mock_llm`

Mock LLM prompts matching pattern.

vm.mock_llm(prompt_pattern: str, response: str)

Parameters:

Parameter	Type	Required	Default
`prompt_pattern`	`str`	Yes
`response`	`str`	Yes

Returns: None

`vm.clear_mocks`

Clear all registered mocks.

Returns: None

`vm.prank`

Context manager to temporarily change sender.

vm.prank(address: Any)

Parameters:

Parameter	Type	Required	Default
`address`	`Any`	Yes

`vm.startPrank`

Start pranking as address (persists until stopPrank).

vm.startPrank(address: Any)

Parameters:

Parameter	Type	Required	Default
`address`	`Any`	Yes

Returns: None

`vm.stopPrank`

Stop the current prank.

Returns: None

`vm.expect_revert`

Context manager expecting the next call to revert.

Catches ContractRollback (gl.rollback) and any Exception raised by contract code (ValueError, RuntimeError, etc.). If message is given, the exception text must contain it.

vm.expect_revert(message: Optional[str] = None)

Parameters:

Parameter	Type	Required	Default
`message`	`Optional[str]`	No	`None`

`vm.run_validator`

Run a captured validator function from a prior run_nondet call.

Each gl.vm.run_nondet call in a contract appends an entry to an internal list. Use index to select which one (default -1, the most recent).

Mocks still apply: the validator typically re-runs leader_fn internally, which hits the current web/LLM mocks. Swap mocks between the contract call and run_validator() to simulate the validator seeing different external data.

Args: leader_result: Override the leader's return value. leader_error: Simulate a leader exception (gl.vm.UserError). index: Which captured validator to run (-1 = last).

Returns: The bool returned by the validator function.

vm.run_validator(leader_result: Any = <object object at 0x7f400f5a4ac0>, leader_error: Optional[Exception] = None, index: int = -1)

Parameters:

Parameter	Type	Required	Default
`leader_result`	`Any`	No	`<object object at 0x7f400f5a4ac0>`
`leader_error`	`Optional[Exception]`	No	`None`
`index`	`int`	No	`-1`

Returns: bool

`vm.clear_validators`

Clear the captured validator list.

Returns: None

Integration Testing glsim