search

acsl-language / acsl

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

Introduce check annotation kind in ACSL #55

Closed vprevosto closed 5 years ago

vprevosto commented 5 years ago

in accordance with Frama-C dev

pbaudin commented 5 years ago

note: e6c55d1, connected to that pull request, was directly committed just after the merge..