Skip to main content
ensure_expr_not_gasleft
foundry_
evm_
symbolic
1.7.2
In foundry_
evm_
symbolic::
executor::
calls
foundry_evm_symbolic
::
executor
::
calls
Function
ensure_
expr_
not_
gasleft
Copy item path
Source
fn ensure_expr_not_gasleft(expr: &
SymExpr
) ->
Result
<
()
,
SymbolicError
>