pub fn parse_assert_stmt<P: Parser>(p: &mut P) -> ReportedResult<StmtData>
Expand description

Parse an assertion statement. See IEEE 1076-2008 section 10.3.

assert_stmt := "assert" expr ["report" expr] ["severity" expr] ";"