Skip to main content
ensure_word_not_gasleft
foundry_
evm_
symbolic
1.7.2
In foundry_
evm_
symbolic::
executor::
calls
foundry_evm_symbolic
::
executor
::
calls
Function
ensure_
word_
not_
gasleft
Copy item path
Source
fn ensure_word_not_gasleft(word: &
SymWord
) ->
Result
<
()
,
SymbolicError
>