Provide support for safe and assume module constructors #112

Closed

Assignees

Labels

Feature RequestP Module System (Compositional Reasoning)

opened

on Apr 18, 2017

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

Metadata

Assignees

ankushdesai

Labels

Feature RequestP Module System (Compositional Reasoning)

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests