search

acsl-language / acsl

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

Adds section about the \ghost qualifier #63

Closed AllanBlanchard closed 4 years ago

AllanBlanchard commented 5 years ago

This PR adds the \ghost qualifier to the manual and explains its behavior.

AllanBlanchard commented 5 years ago

TODO: we should be more restrictive with the \ghost qualifier.