Function monster::symbolically_execute_elf_with

pub fn symbolically_execute_elf_with<P, Solver, Strategy>(
    input: P, 
    options: &SymbolicExecutionOptions, 
    strategy: &Strategy, 
    solver: &Solver
) -> Result<Option<SymbolicExecutionBug>, MonsterError> where
    P: AsRef<Path>,
    Strategy: ExplorationStrategy,
    Solver: Solver,