Add -R generated-coq

huynhtrankhanh · Nov 2, 2024 · af1a40a · af1a40a
1 parent 6343cc4
commit af1a40a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/axioms.yml b/.github/workflows/axioms.yml
@@ -30,7 +30,7 @@ jobs:
 
     - name: Run coqchk and compare result
       run: |
-        s=$( /snap/coq-prover/current/coq-platform/bin/coqchk -silent --output-context -R theories/ CoqCP $(ls **/*.vo | awk -F'/' '{split($NF, a, "."); print "CoqCP."a[1]}') 2>&1 )
+        s=$( /snap/coq-prover/current/coq-platform/bin/coqchk -silent --output-context -R theories/ CoqCP -R generated-coq/ Generated $(ls **/*.vo | awk -F'/' '{split($NF, a, "."); print "CoqCP."a[1]}') 2>&1 )
         expected=$(cat << 'EOF'
         CONTEXT SUMMARY
         ===============