Script update

ftsrg · Aug 2, 2024 · 5a729fc · 5a729fc
1 parent 0c8970b
commit 5a729fc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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>