use a submodule for collections-c tests

.github/workflows/build.yml

@@ -28,6 +28,7 @@ jobs:
       - name: checkout-submodules
         run: |
           git submodule update --init test/script/reference
+          git submodule update --init test/c/collections-c/files
       - name: cache
         id: cache-opam
         uses: actions/cache@v4

.github/workflows/deploy.yml

@@ -16,6 +16,7 @@ jobs:
       - name: checkout-submodules
         run: |
           git submodule update --init test/script/reference
+          git submodule update --init test/c/collections-c/files
       - name: cache
         id: cache-opam
         uses: actions/cache@v4

.gitmodules

@@ -10,3 +10,7 @@
 	path = bench/klee
 	url = https://github.com/zapashcanon/klee-testcomp.git
 	shallow = true
+[submodule "test/c/collections-c/files"]
+	path = test/c/collections-c/files
+	url = https://github.com/zapashcanon/Collections-C.git
+	shallow = true

test/c/collections-c/array_tests.t

@@ -0,0 +1,51 @@
+Array tests:
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_add.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_addAt2.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_contains.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_deepCopy.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_getAt.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_indexOf.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_iterAdd.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_iterRemove.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_iterReplace.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_reduce.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_remove.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_removeAll.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_removeAt.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_replaceAt.c
+  Assert failure: (bool.ne symbol_3 symbol_2)
+  Model:
+    (model
+      (symbol_0 (i32 0))
+      (symbol_1 (i32 0))
+      (symbol_2 (i32 0))
+      (symbol_3 (i32 0)))
+  Reached problem!
+  [13]
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_reverse.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_shallowCopy.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_subarray.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_zipIterAdd.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_zipIterNext.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_zipIterRemove.c
+  All OK
+  $ owi c -I files/normal/include files/normal/src/array.c files/normal/src/common.c files/normal/src/utils.c files/normal/testsuite/array/array_test_zipIterReplace.c
+  All OK

test/c/collections-c/bugs/buggy_tests.t → test/c/collections-c/buggy_tests.t

@@ -1,12 +1,12 @@
 Bug-triggering tests:
-  $ owi c -I include src/array.c src/common.c src/utils.c testsuite/array_test_remove.c
+  $ owi c -I files/bugs/include files/bugs/src/array.c files/bugs/src/common.c files/bugs/src/utils.c files/bugs/testsuite/array_test_remove.c
   Trap: memory heap buffer overflow
   Model:
     (model
       (symbol_0 (i32 8)))
   Reached problem!
   [13]
-  $ owi c -I include src/list.c src/common.c src/utils.c testsuite/list_test_zipIterAdd.c --no-value
+  $ owi c -I files/bugs/include files/bugs/src/list.c files/bugs/src/common.c files/bugs/src/utils.c files/bugs/testsuite/list_test_zipIterAdd.c --no-value
   Assert failure: false
   Model:
     (model