acsl-language / acsl

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

ensure test compliance with clang #45

Closed maroneze closed 5 years ago

maroneze commented 6 years ago

On Mac, gcc is sometimes bound to clang, and recent clang versions do not accept this deviation from the C99 standard (main must return type int), with an error instead of a warning as GCC does.

This patch ensures the tests compile under such circumstances.