Function monster::execute_with

pub fn execute_with<Solver, Strategy>(
    program: &Program, 
    options: &EngineOptions, 
    strategy: &Strategy, 
    solver: &Solver
) -> Result<Option<Bug>, MonsterError> where
    Strategy: ExplorationStrategy,
    Solver: Solver,