Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
395 workflow run results
395 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP 2024 development coverage #847: Pull request #1257 synchronize by sim642
November 22, 2023 12:51 20m 34s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 20m 34s
SV-COMP 2024 development coverage #846: Pull request #1257 synchronize by sim642
November 22, 2023 12:30 16m 9s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 16m 9s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #845: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 12:21 18m 34s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 18m 34s
Add unknown functions from SV-COMP coverage #844: Pull request #1269 synchronize by sim642
November 22, 2023 12:10 12m 50s svcomp24-funs
svcomp24-funs
November 22, 2023 12:10 12m 50s
Add unknown functions from SV-COMP coverage #843: Pull request #1269 synchronize by karoliineh
November 22, 2023 11:54 18m 32s svcomp24-funs
svcomp24-funs
November 22, 2023 11:54 18m 32s
Add unknown functions from SV-COMP coverage #842: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 12m 47s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 12m 47s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #841: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 13m 10s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 13m 10s
Account for allocated heap memory which is unreachable from globals coverage #840: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 13m 38s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 13m 38s
Improve multi-threaded valid-memcleanup coverage #839: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 20m 26s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 20m 26s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #838: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 13m 42s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 13m 42s
Improve multi-threaded valid-memcleanup coverage #837: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 12m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 12m 58s
Improve multi-threaded valid-memcleanup coverage #836: Pull request #1246 synchronize by jerhard
November 22, 2023 10:04 13m 44s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:04 13m 44s
Improve multi-threaded valid-memcleanup coverage #835: Pull request #1246 synchronize by jerhard
November 22, 2023 10:02 13m 45s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:02 13m 45s
Improve multi-threaded valid-memcleanup coverage #834: Pull request #1246 synchronize by jerhard
November 22, 2023 09:53 13m 47s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 09:53 13m 47s
Do not invalidate special function lvals recursively coverage #833: Pull request #1264 synchronize by karoliineh
November 22, 2023 09:31 15m 51s base-special-lval
base-special-lval
November 22, 2023 09:31 15m 51s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #832: Pull request #1265 opened by michael-schwarz
November 22, 2023 08:36 13m 3s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:36 13m 3s
coverage coverage #831: Scheduled
November 22, 2023 02:16 19m 20s master
master
November 22, 2023 02:16 19m 20s
Do not invalidate special function lvals recursively coverage #830: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 12m 56s base-special-lval
base-special-lval
November 21, 2023 20:15 12m 56s
Account for allocated heap memory which is unreachable from globals coverage #829: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 13m 4s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 13m 4s
Do not invalidate special function lvals recursively coverage #828: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 16m 52s base-special-lval
base-special-lval
November 21, 2023 20:01 16m 52s
Improve multi-threaded valid-memcleanup coverage #827: Pull request #1246 synchronize by jerhard
November 21, 2023 19:31 21m 3s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 19:31 21m 3s
Fix BlobSize for calloc coverage #826: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 17:01 19m 1s issue_1259
issue_1259
November 21, 2023 17:01 19m 1s
Improve multi-threaded valid-memcleanup coverage #825: Pull request #1246 synchronize by jerhard
November 21, 2023 16:57 12m 26s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:57 12m 26s
Improve multi-threaded valid-memcleanup coverage #824: Pull request #1246 synchronize by jerhard
November 21, 2023 16:41 20m 28s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:41 20m 28s
Improve multi-threaded valid-memcleanup coverage #823: Pull request #1246 synchronize by jerhard
November 21, 2023 16:19 20m 20s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:19 20m 20s