fn contains_timeout(&self, output: &str) -> bool {
        let regex =
            Regex::new(r"(?m)^.*\((?P<line>\d+),(?P<col>\d+)\).*Verification.*(inconclusive|out of resource|timed out).*$")
                .unwrap();
        regex.is_match(output)
    }
/// Returns whether the output string contains any Boogie timeouts/inconclusiveness.
Returns whether the output string contains any Boogie timeouts/inconclusiveness.
Returns whether the output string contains any Boogie timeouts / inconclusiveness .
fn contains_timeout(&self, output: &str) -> bool {
        let regex =
            Regex::new(r"(?m)^.*\((?P<line>\d+),(?P<col>\d+)\).*Verification.*(inconclusive|out of resource|timed out).*$")
                .unwrap();
        regex.is_match(output)
    }
fn contains_timeout ( & self , output : & str ) -> bool { let regex = Regex :: new ( r"(?m)^.*\((?P<line>\d+),(?P<col>\d+)\).*Verification.*(inconclusive|out of resource|timed out).*$" ) . unwrap ( ) ; regex . is_match ( output ) }
Returns whether the output string contains any Boogie timeouts/inconclusiveness.
Returns whether the output string contains any Boogie timeouts / inconclusiveness .
&self
output
&str