Method parse_pledge

tools/fuzz-gen/src/specifications/preparser.rs:133–145

(&mut self)

    }

    fn parse_pledge(&mut self) -> syn::Result<PledgeWithoutId> {
        let (reference, assertion) = self.parse_pledge_assertion_only()?;
        if self.consume_operator(",") {
            let rhs = self.parse_prusti()?;
            Ok(PledgeWithoutId {
                reference,
                lhs: Some(assertion),
                rhs,
            })
        } else {
            Err(self.error_expected("`,`"))
        }
    }

    fn parse_pledge_assertion_only(&mut self) -> syn::Result<(Option<ExpressionWithoutId>, AssertionWithoutId)> {
        let mut reference = None;