Function parse_sva_directive 

pub fn parse_sva_directive(input: &str) -> Result<SvaDirective, SvaParseError>

Parse a concurrent assertion directive (IEEE 16.14).

Handles: assert property(...), assume property(...), cover property(...), cover sequence(...), restrict property(...). Optionally prefixed by a label: label: assert property(...). Optionally contains action blocks: assert property(p) $info("ok"); else $error("fail");