search

runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

Include ID in error and warning messages #4462

Open tothtamas28 opened 1 week ago

tothtamas28 commented 1 week ago

Example:

[Warning] Compiler: Could not find main syntax module with name
FOUNDRY-MAIN-SYNTAX in definition.  Use --syntax-module to specify one. Using
FOUNDRY-MAIN as default. [missing-syntax-module]

Then the user knows what ID to refer to to suppress the warning:

-Wno missing-syntax-module