Guard icon indicating copy to clipboard operation
Guard copied to clipboard

Published 20 hours ago • verified publisher icon 3komma14

Code Contracts annotations

Open redknightlois opened this issue 10 years ago • 1 comments

Including CodeGuard in code that uses Code Contracts does not work because post-conditions cannot be checked and requires explicit assumes.

Would you accept a PR for this?

redknightlois avatar Dec 09 '14 03:12 redknightlois

Yes off course

3komma14 avatar Dec 17 '14 11:12 3komma14