Removed assert/assume parsing from psharp syntax.

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed akashlal closed 5 years ago

akashlal commented 5 years ago

Also, fixed error with insertion of call to SetCardinalityConstraints in the generated code.