Easy: Concept parameter mode usage checking

ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

24 stars 16 forks source link

Easy: Concept parameter mode usage checking #450

Open M-Sitaraman opened 3 months ago

M-Sitaraman commented 3 months ago

Check misuse of # notation in the ensures clause wrt parameter mode. These may be warnings as opposed to errors.