From 23a58114f463e3fbef615c2f4f196eb4709b70ca Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Sun, 12 Nov 2023 00:22:16 +0100
Subject: [PATCH] 10->25

---
 .github/workflows/linux-build-test-deploy.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/linux-build-test-deploy.yml b/.github/workflows/linux-build-test-deploy.yml
index d73e3bbc4b..eb2401eec7 100644
--- a/.github/workflows/linux-build-test-deploy.yml
+++ b/.github/workflows/linux-build-test-deploy.yml
@@ -87,7 +87,7 @@ jobs:
         run: |
           cd sv-benchmarks/c
           for i in $(sed 's/#.*$//g' ${{ matrix.task }}.set); do find . -wholename ./$i; done | while read line; do echo  $(echo $line | sha1sum | awk ' { print $1 } ') $line ; done | sort -k1 | awk ' { $1=""; print $0 } ' | awk '{$1=$1};1' > all-files.txt
-          head -n10 all-files.txt > ${{ matrix.task }}.set
+          head -n25 all-files.txt > ${{ matrix.task }}.set
       - name: Run benchexec
         run: |
           benchexec xml/theta.xml --no-container --tool-directory theta -t ${{ matrix.task }}