P icon indicating copy to clipboard operation
P copied to clipboard

Published 20 hours ago • verified publisher icon p-org

Provide support for safe and assume module constructors

Open ankushdesai opened this issue 7 years ago • 0 comments

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

ankushdesai avatar Apr 18 '17 14:04 ankushdesai