Alloc tests adapted to get them to fail on GitHub

Adapted generate-doc
mhatzl · Oct 21, 2021 · 3a23265 · 3a23265
1 parent 9fe712b
commit 3a23265
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 4 deletions.
diff --git a/.github/workflows/generate_doc.yml b/.github/workflows/generate_doc.yml
@@ -37,8 +37,7 @@ jobs:
         run: |
           git config user.name github-actions
           git config user.email [email protected]
-          git checkout origin/doc
           mv -v obj/gnatdoc docs
           git add docs
           git commit -m "Generated documentation"
-          git push origin doc
+          git push origin main:doc
diff --git a/tests/src/Safe_Alloc/sa_definite_tests.adb b/tests/src/Safe_Alloc/sa_definite_tests.adb
@@ -6,10 +6,28 @@ package body SA_Definite_Tests is
 
    procedure TestAlloc_WithForcingStorageError_ResultNullReturned(T : in out Test_Fixture)
    is
-      type Inner_Array is array(0 .. 1_000_000) of Integer;      
+      type Inner_Array is array(-9_00_000_000 .. 9_00_000_000) of Integer;      
       type Alloc_Record is record
-         Arr : Inner_Array;
+         Arr1 : Inner_Array;
          Arr2 : Inner_Array;
+         Arr3 : Inner_Array;
+         Arr4 : Inner_Array;
+         Arr5 : Inner_Array;
+         Arr6 : Inner_Array;
+         Arr7 : Inner_Array;
+         Arr8 : Inner_Array;
+         Arr9 : Inner_Array;
+         Arr10 : Inner_Array;
+         Arr11 : Inner_Array;
+         Arr12 : Inner_Array;
+         Arr13 : Inner_Array;
+         Arr14 : Inner_Array;
+         Arr15 : Inner_Array;
+         Arr16 : Inner_Array;
+         Arr17 : Inner_Array;
+         Arr18 : Inner_Array;
+         Arr19 : Inner_Array;
+         Arr20 : Inner_Array;
          V1 : Integer;
          V2 : Natural;
          V3 : Positive;