Enable checks-as-errors when running gnatprove (#9)

damaki · Nov 13, 2022 · 9ef2ff9 · 9ef2ff9
1 parent fdd17d6
commit 9ef2ff9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -51,3 +51,6 @@ jobs:
         run: |
           cd prove
           alr exec -- gnatprove -P ../cobs.gpr
+        # Skip on Windows due to broken toolchain/environment which causes
+        # all proof checks to fail (except initialization and termination).
+        if: matrix.os != 'windows-latest'
diff --git a/cobs.gpr b/cobs.gpr
@@ -36,7 +36,8 @@ project Cobs is
                                       "--timeout=60",
                                       "--memlimit=0",
                                       "--steps=15000",
-                                      "--report=statistics");
+                                      "--report=statistics",
+                                      "--checks-as-errors");
    end Prove;
 
 end Cobs;