Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
354 workflow run results
354 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Handle sqrt & Some Bodged Solution for computing through abs coverage #802: Pull request #1254 synchronize by sim642
November 20, 2023 09:59 15m 19s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 09:59 15m 19s
Add support for CWE-562 coverage #801: Pull request #1256 opened by mrstanb
November 20, 2023 07:20 15m 22s mrstanb:add-support-for-cwe-562
mrstanb:add-support-for-cwe-562
November 20, 2023 07:20 15m 22s
coverage coverage #800: Scheduled
November 20, 2023 02:11 26m 43s master
master
November 20, 2023 02:11 26m 43s
Update for Earlybird usage coverage #799: Pull request #1251 synchronize by FungOliver
November 20, 2023 00:55 17m 30s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 20, 2023 00:55 17m 30s
Improve multi-threaded valid-memcleanup coverage #798: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:46 17m 20s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:46 17m 20s
Be more precise for << of Intervals coverage #797: Pull request #1252 synchronize by michael-schwarz
November 19, 2023 18:28 20m 2s issue_1250
issue_1250
November 19, 2023 18:28 20m 2s
Improve multi-threaded valid-memcleanup coverage #796: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:26 15m 0s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:26 15m 0s
Improve multi-threaded valid-memcleanup coverage #795: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 18:02 14m 53s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:02 14m 53s
Improve multi-threaded valid-memcleanup coverage #794: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 20m 10s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 20m 10s
Improve multi-threaded valid-memcleanup coverage #793: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 17m 48s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 17m 48s
Improve multi-threaded valid-memcleanup coverage #792: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 10m 11s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 10m 11s
Account for allocated heap memory which is unreachable from globals coverage #791: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 22m 30s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 22m 30s
Improve multi-threaded valid-memcleanup coverage #790: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 14m 45s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 14m 45s
Account for allocated heap memory which is unreachable from globals coverage #789: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 14m 31s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 14m 31s