Skip to main content

solver_command_availability_error

foundry_evm_symbolic::runtime::solver

Function solver_command_availability_error 

Source 
fn solver_command_availability_error(command: &SolverCommand) -> Option<String>
Expand description

Returns why command is not currently executable as an SMT solver.