Task filter
symbiotic 2024-12-20 08:07:57 CET symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
Add filter for:
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-clang-formatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
Add filter for:
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-clang-unformatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
Add filter for:
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-gcc-formatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
Add filter for:
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-gcc-unformatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
Add filter for:
Benchmark Setup
Benchmark | Symbiotic | TestCov | |||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tool | symbiotic 10.0.0-rc1-f6104f53 | TestCov 3.11 | |||||||||||||||||||||||||||||||||||||||||||||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4 | timelimit: 600 s, memlimit: 7000 MB, CPU core limit: 2 | |||||||||||||||||||||||||||||||||||||||||||||||
Host | apollon* | ||||||||||||||||||||||||||||||||||||||||||||||||
OS | Linux 6.8.0-51-generic | ||||||||||||||||||||||||||||||||||||||||||||||||
System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33471 MB | ||||||||||||||||||||||||||||||||||||||||||||||||
Date of execution | 2024-12-20 08:07:57 CET | 2024-12-24 08:58:20 CET | |||||||||||||||||||||||||||||||||||||||||||||||
Run set | symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety | testcov-validate-test-suites-clang-formatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety | testcov-validate-test-suites-clang-unformatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety | testcov-validate-test-suites-gcc-formatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety | testcov-validate-test-suites-gcc-unformatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety | ||||||||||||||||||||||||||||||||||||||||||||
Options |
|
|
|
|
| ||||||||||||||||||||||||||||||||||||||||||||
Properties | coverage-error-call |
Statistics
symbiotic 2024-12-20 08:07:57 CET symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-clang-formatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-clang-unformatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-gcc-formatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
TestCov 2024-12-24 08:58:20 CET testcov-validate-test-suites-gcc-unformatted-symbiotic.Test-Comp25_coverage-error-call.SoftwareSystems-BusyBox-MemSafety
Click here to select columns
status
score
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
status
cov
(%)
(%)
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
status
cov
(%)
(%)
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
status
cov
(%)
(%)
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
status
cov
(%)
(%)
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
all results
4
1
910
920
2500
4
100
3.5
3.6
260
4
100
2.8
2.9
150
4
100
3.5
3.7
260
4
100
2.6
2.8
150
Generated by BenchExec 3.29