search

acsl-language / acsl

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

Add default value for exits #94

Closed tmarti2 closed 9 months ago

vprevosto commented 9 months ago

The "Changes" section should be updated as well