Function monster::execute_elf_with

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