Updates the files matching src/examples/*.broken.c to adhere to the new semicolon syntax.
Modifies the top-level check.sh script to run cn on files matching src/examples/*.broken.c. The script checks that CN returns the expected return code 1
Unfortunately, CN returns the same error code for both proof errors and parse errors, so the new setup would not catch further breakages of this kind. Feature request to fix this filed here.
Fixes #20 and partially addresses #19
This PR:
src/examples/*.broken.cto adhere to the new semicolon syntax.check.shscript to runcnon files matchingsrc/examples/*.broken.c. The script checks that CN returns the expected return code 1Unfortunately, CN returns the same error code for both proof errors and parse errors, so the new setup would not catch further breakages of this kind. Feature request to fix this filed here.