Adds some more details about the \exits and \ensures clauses - Githubissues

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

Adds some more details about the \exits and \ensures clauses #53

Closed pbaudin closed 5 years ago

pbaudin commented 5 years ago

Adds some more details about the \exits clause