Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
729 workflow run results
729 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix BlobSize for calloc coverage #822: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 15:30 20m 33s issue_1259
issue_1259
November 21, 2023 15:30 20m 33s
Fix BlobSize for calloc coverage #821: Pull request #1262 opened by michael-schwarz
November 21, 2023 15:12 11m 29s issue_1259
issue_1259
November 21, 2023 15:12 11m 29s
Fix no-overflow cram test expected output coverage #820: Pull request #1261 opened by jerhard
November 21, 2023 15:05 13m 38s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:05 13m 38s
SV-COMP 2024 development coverage #819: Pull request #1257 synchronize by sim642
November 21, 2023 14:17 18m 5s svcomp24-dev
svcomp24-dev
November 21, 2023 14:17 18m 5s
Handle sqrt & Some Bodged Solution for computing through abs coverage #818: Pull request #1254 synchronize by jerhard
November 21, 2023 11:56 21m 5s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 21, 2023 11:56 21m 5s
Be more precise for << of Intervals coverage #817: Pull request #1252 synchronize by jerhard
November 21, 2023 11:03 16m 28s issue_1250
issue_1250
November 21, 2023 11:03 16m 28s
Be more precise for << of Intervals coverage #816: Pull request #1252 synchronize by jerhard
November 21, 2023 11:01 22m 30s issue_1250
issue_1250
November 21, 2023 11:01 22m 30s
Improve multi-threaded valid-memcleanup coverage #815: Pull request #1246 synchronize by michael-schwarz
November 21, 2023 09:22 27m 8s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 09:22 27m 8s
SV-COMP 2024 development coverage #814: Pull request #1257 synchronize by sim642
November 21, 2023 09:21 16m 7s svcomp24-dev
svcomp24-dev
November 21, 2023 09:21 16m 7s
Add unknown thread ID coverage #813: Pull request #1224 synchronize by karoliineh
November 21, 2023 09:20 16m 1s issue-392
issue-392
November 21, 2023 09:20 16m 1s
Do not set SV-COMP overflow flag on casts coverage #812: Pull request #1258 synchronize by jerhard
November 21, 2023 08:01 18m 8s no_overflow_on_casts
no_overflow_on_casts
November 21, 2023 08:01 18m 8s
coverage coverage #811: Scheduled
November 21, 2023 02:18 24m 41s master
master
November 21, 2023 02:18 24m 41s
Handle sqrt & Some Bodged Solution for computing through abs coverage #810: Pull request #1254 synchronize by stilscher
November 20, 2023 18:41 15m 14s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 18:41 15m 14s
Be more precise for << of Intervals coverage #809: Pull request #1252 synchronize by michael-schwarz
November 20, 2023 15:59 21m 30s issue_1250
issue_1250
November 20, 2023 15:59 21m 30s
Do not set SV-COMP overflow flag on casts coverage #808: Pull request #1258 opened by michael-schwarz
November 20, 2023 15:57 18m 16s no_overflow_on_casts
no_overflow_on_casts
November 20, 2023 15:57 18m 16s
Update for Earlybird usage coverage #807: Pull request #1251 synchronize by sim642
November 20, 2023 12:45 20m 58s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 20, 2023 12:45 20m 58s
SV-COMP 2024 development coverage #806: Pull request #1257 opened by sim642
November 20, 2023 11:51 14m 43s svcomp24-dev
svcomp24-dev
November 20, 2023 11:51 14m 43s
Handle sqrt & Some Bodged Solution for computing through abs coverage #805: Pull request #1254 synchronize by stilscher
November 20, 2023 10:10 24m 2s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:10 24m 2s
Handle sqrt & Some Bodged Solution for computing through abs coverage #804: Pull request #1254 synchronize by sim642
November 20, 2023 10:04 19m 37s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:04 19m 37s
Add unknown thread ID coverage #803: Pull request #1224 synchronize by karoliineh
November 20, 2023 10:04 5m 20s issue-392
issue-392
November 20, 2023 10:04 5m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-11-20 or the other filters available.