Deploying to gh-pages from @ 53bfa25 🚀

benchmark-results/1/merge/bubaak/concurrentwitness2test.2024-10-20_12-33-33.logfiles/SV-COMP23_unreach-call.bubaak-pthread-numerical-integration.yml.log

@@ -0,0 +1,25 @@
+ConcurrentWitness2Test/start.sh svcomp23-witness-benchmarks/tools/bubaak/pthread-C-DAC/pthread-numerical-integration.yml/pthread-numerical-integration.i --graphml-witness svcomp23-witness-benchmarks/tools/bubaak/pthread-C-DAC/pthread-numerical-integration.yml/witness.graphml
+
+
+--------------------------------------------------------------------------------
+
+
+Traceback (most recent call last):
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/main.py", line 35, in translate_to_c
+    ast = parse_file(filename, use_cpp=False)
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/__init__.py", line 90, in parse_file
+    return parser.parse(text, filename)
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/c_parser.py", line 149, in parse
+    return self.cparser.parse(
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/ply/yacc.py", line 331, in parse
+    return self.parseopt_notrack(input, lexer, debug, tracking, tokenfunc)
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/ply/yacc.py", line 1199, in parseopt_notrack
+    tok = call_errorfunc(self.errorfunc, errtoken, self)
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/ply/yacc.py", line 193, in call_errorfunc
+    r = errorfunc(token)
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/c_parser.py", line 1858, in p_error
+    self._parse_error(
+  File "/home/runner/work/ConcurrentWitness2Test/ConcurrentWitness2Test/ConcurrentWitness2Test/venv/lib/python3.10/site-packages/pycparser/plyparser.py", line 67, in _parse_error
+    raise ParseError("%s: %s" % (coord, msg))
+pycparser.plyparser.ParseError: /tmp/BenchExec_run_x8fa0b27/tmp/tmpmd0k_iel.c:1380:5: before: /
+Verdict: Parsing failed

benchmark-results/1/merge/bubaak/concurrentwitness2test.2024-10-20_12-33-33.results.SV-COMP23_unreach-call.ConcurrencySafety-bubaak.csv

@@ -0,0 +1,4 @@
+tool	ConcurrentWitness2Test ConcurrentWitness2Test 1.0	ConcurrentWitness2Test ConcurrentWitness2Test 1.0	ConcurrentWitness2Test ConcurrentWitness2Test 1.0	ConcurrentWitness2Test ConcurrentWitness2Test 1.0
+run set	SV-COMP23_unreach-call.ConcurrencySafety-bubaak	SV-COMP23_unreach-call.ConcurrencySafety-bubaak	SV-COMP23_unreach-call.ConcurrencySafety-bubaak	SV-COMP23_unreach-call.ConcurrencySafety-bubaak
+../svcomp23-witness-benchmarks/tools/bubaak/pthread-C-DAC/pthread-numerical-integration.yml/	status	cputime (s)	walltime (s)	memory (MB)
+bubaak-pthread-numerical-integration.yml	ERROR(Parsing failed)	0.282772	0.2843271079999852	50.073600

benchmark-results/1/merge/bubaak/concurrentwitness2test.2024-10-20_12-33-33.results.SV-COMP23_unreach-call.ConcurrencySafety-bubaak.txt

@@ -0,0 +1,43 @@
+   BENCHMARK INFORMATION
+benchmark definition:    svcomp23-witness-benchmarks/concurrentwitness2test.xml
+name:                    concurrentwitness2test
+run sets:                SV-COMP23_unreach-call.ConcurrencySafety-bubaak
+date:                    Sun, 2024-10-20 12:33:33 UTC
+tool:                    ConcurrentWitness2Test ConcurrentWitness2Test 1.0
+tool executable:         ConcurrentWitness2Test/start.sh
+options:
+parallel runs:           10
+resource limits:
+- time:                  45 s
+hardware requirements:
+------------------------------------------------------------
+
+   SYSTEM INFORMATION
+host:                    fv-az732-443
+os:                      Linux-6.5.0-1025-azure-x86_64-with-glibc2.35
+cpu:                     AMD EPYC 7763 64-Core Processor
+- cores:                 4
+- max frequency:         2445.433 MHz
+ram:                     16757.342208000002 MB
+------------------------------------------------------------
+
+
+
+SV-COMP23_unreach-call.ConcurrencySafety-bubaak
+Run set 1 of 1 with options '--graphml-witness ${taskdef_path}/witness.graphml' and propertyfile 'None'
+
+inputfile                                   status                       cpu time   wall time        host
+---------------------------------------------------------------------------------------------------------
+bubaak-pthread-numerical-integration.yml    ERROR(Parsing failed)            0.28        0.28        None
+---------------------------------------------------------------------------------------------------------
+Run set 1                                   done                             0.28        0.39           -
+
+Statistics:              1 Files
+  correct:               0
+    correct true:        0
+    correct false:       0
+  incorrect:             0
+    incorrect true:      0
+    incorrect false:     0
+  unknown:               1
+  Score:                 0 (max: 2)