Skip to main content
advance
logicaffeine_
compile
0.11.0
In logicaffeine_
compile::
codegen_
sva::
qor_
harness
logicaffeine_compile
::
codegen_sva
::
qor_harness
Function
advance
Copy item path
Source
pub fn advance(s:
u64
, n:
u32
) ->
u64
Expand description
The stimulus state
n
steps after
s
.