Provide support for safe and assume module constructors #532
ankushdesai
started this conversation in
Feature Request!
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
The current implementation is complete.
We generate code corresponding to safe and assume in the generated code.
The ptester and pruntime needs to do be updated so that they ignore assertion failures
Beta Was this translation helpful? Give feedback.
All reactions