(&mut self)
| 588 | } |
| 589 | |
| 590 | fn parse_spec_bool(&mut self) -> Result<bool> { |
| 591 | let pos = self.pos(); |
| 592 | let s = self.expect_symbol()?; |
| 593 | match s.as_str() { |
| 594 | "true" => Ok(true), |
| 595 | "false" => Ok(false), |
| 596 | x => Err(self.error(pos, format!("Not a valid spec boolean: {x}"))), |
| 597 | } |
| 598 | } |
| 599 | |
| 600 | fn parse_model(&mut self) -> Result<Model> { |
| 601 | let pos = self.pos(); |
no test coverage detected