Revert "Update gobra.yml to disableNL (#289)"

This reverts commit 1e60830.
viperproject · Apr 2, 2024 · 2ff8192 · 2ff8192
1 parent 1e60830
commit 2ff8192
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
@@ -424,7 +424,7 @@ jobs:
           requireTriggers: ${{ env.requireTriggers }}
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
-          disableNL: ${{ env.disableNL }}
+          disableNL: '1'
           viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}