Function soco::model::verify_update

pub fn verify_update<T, P, C, D>(o: &Online<P>, span: i32) where
    P: Problem<T, C, D>,
    C: ModelOutputSuccess,
    D: ModelOutputFailure, 

Utility to verify that the update of an online instance is valid.