Skip to main content

Module rv32_stack_usage

Module rv32_stack_usage 

Source
Expand description

The rv32 stack-usage record the test FFI keeps per rv32 invocation. The rv32 guest stack-usage diagnostic the test FFI records per invocation.

Structs§

Rv32StackUsage
What an rv32 guest did with its stack pointer over one invocation.

Constants§

SP_UNWRITTEN
The value Rv32StackUsage::sp_initial and Rv32StackUsage::sp_min hold when the guest never wrote sp.