contract verification for Code specification not working correctly
Steps to reproduce:
- Open the attached project
- enable the constraint “verify OCRA contracts”
Expected: the contract verification should succeed
Actual: The result of contract verification is “failure”
(from redmine: issue id 3508, created on 2018-09-10, closed on 2018-09-14)
- Relations:
- parent #3489 (closed)
- Uploads: