search

acsl-language / acsl

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

Clarification about label Pre #88

Open AllanBlanchard opened 1 year ago

AllanBlanchard commented 1 year ago

See https://git.frama-c.com/pub/frama-c/-/issues/386