search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Precise that `check requires` clauses are not used for `complete`/`disjoint` #77

Closed vprevosto closed 3 years ago

vprevosto commented 3 years ago

This follows quite naturally from the fact that check requires is not meant to be used as hypothesis, but it is probably better to write it explicitly.