4b Emit assert / assume / coverpoint into slop
Emit assert, assume, and coverpoint constructs into
generated slop.
Subtasks — pending
- A — emit assert/assume/coverpoint. Lower
assert/assume/coverpointinto slop.
Subtasks — landed
None yet.