Add test for overflow checking (#23)

add test
viperproject · Feb 14, 2024 · 482aca5 · 482aca5
1 parent 12afb6e
commit 482aca5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -35,6 +35,7 @@ jobs:
           files: 'test/files_test/file1.go@11 test/files_test/file2.gobra'
           includePaths: 'test/include_path'
           timeout: 2m
+          overflow: 1
       - name: Verify Gobra files (package mode)
         uses: ./
         with: