From 5a729fcce6d7b456a818f555dbe7db5e7ac61a37 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Fri, 2 Aug 2024 23:27:47 +0200
Subject: [PATCH] Script update

---
 .github/actions/benchexec-report/action.yml | 2 +-
 .github/actions/benchexec-test/theta.xml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/actions/benchexec-report/action.yml b/.github/actions/benchexec-report/action.yml
index 1153c184c2..a512c3b9b4 100644
--- a/.github/actions/benchexec-report/action.yml
+++ b/.github/actions/benchexec-report/action.yml
@@ -23,7 +23,7 @@ runs:
         echo "Message<<$EOF" >> $GITHUB_OUTPUT
         ls
         header1=$(printf '|task set|'; for f in BenchexecResults*; do echo "${f##*-}"; done | sort -u | xargs printf '%s|')
-        header2=$(printf '|--|'; for f in BenchexecResults*; do echo "${f##*-}"; done | sort -u | xargs printf '--|')
+        header2=$(printf '|--|'; for ff in $(for f in BenchexecResults*; do echo "${f##*-}"; done | sort -u); do printf '--|'; done)
         echo "$header1" >> $GITHUB_OUTPUT
         printf "$header2" >> $GITHUB_OUTPUT
         lasttask=""
diff --git a/.github/actions/benchexec-test/theta.xml b/.github/actions/benchexec-test/theta.xml
index 9176ae7f20..437a6b18d1 100644
--- a/.github/actions/benchexec-test/theta.xml
+++ b/.github/actions/benchexec-test/theta.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 <!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.9//EN" "https://www.sosy-lab.org/benchexec/benchmark-2.3.dtd">
-<benchmark tool="theta" timelimit="120 s" hardtimelimit="130 s">
+<benchmark tool="theta" timelimit="60 s" hardtimelimit="80 s">
 
     <resultfiles>**/witness.*</resultfiles>