Update gobra.yml

viperproject · Jul 11, 2024 · f463259 · f463259
1 parent 3909bf7
commit f463259
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
@@ -415,7 +415,7 @@ jobs:
           includePaths: ${{ env.includePaths }}
           assumeInjectivityOnInhale: ${{ env.assumeInjectivityOnInhale }}
           checkConsistency: ${{ env.checkConsistency }}
-          chop: 10
+          # chop: 10
           parallelizeBranches: '1'
           conditionalizePermissions: '1'
           moreJoins: 'impure'