Terminates defaults to \false with _Noreturn attribute

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

Closed tmarti2 closed 1 month ago

tmarti2 commented 1 month ago

Change the default value of terminates when an noreturn attribute is present.