Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
427 workflow run results
427 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Autotune termination spec before preprocessing, but not others. coverage #786: Pull request #1255 opened by jerhard
November 19, 2023 15:49 14m 51s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:49 14m 51s
coverage coverage #785: Scheduled
November 19, 2023 02:16 19m 8s master
master
November 19, 2023 02:16 19m 8s
Account for allocated heap memory which is unreachable from globals coverage #784: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 21m 40s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 21m 40s
Account for allocated heap memory which is unreachable from globals coverage #783: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 14m 57s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 14m 57s
Improve multi-threaded valid-memcleanup coverage #782: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 14m 27s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 14m 27s
Handle sqrt & Some Bodged Solution for computing through abs coverage #781: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 22m 13s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 22m 13s
Handle sqrt & Some Bodged Solution for computing through abs coverage #780: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 14m 33s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 14m 33s
Handle sqrt & Some Bodged Solution for computing through abs coverage #779: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:41 17m 14s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 17m 14s
Handle sqrt & Some Bodged Solution for computing through abs coverage #778: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:28 21m 35s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 21m 35s
Handle sqrt & Some Bodged Solution for computing through abs coverage #777: Pull request #1254 opened by michael-schwarz
November 18, 2023 11:26 19m 55s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:26 19m 55s
Improving parameter of math function abs in condition coverage #776: Pull request #1253 synchronize by michael-schwarz
November 18, 2023 10:33 17m 14s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:33 17m 14s
Improving parameter of math function abs in condition coverage #775: Pull request #1253 synchronize by stilscher
November 18, 2023 10:32 17m 13s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 17m 13s
coverage coverage #774: Scheduled
November 18, 2023 02:08 33m 36s master
master
November 18, 2023 02:08 33m 36s
TUM Practical Course Summer 2023: Termination Analyses coverage #773: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 15m 10s serenita:master
serenita:master
November 17, 2023 17:40 15m 10s
Improving parameter of math function abs in condition coverage #772: Pull request #1253 opened by stilscher
November 17, 2023 15:22 18m 11s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 18m 11s
Be more precise for << of Intervals coverage #771: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 14m 44s issue_1250
issue_1250
November 17, 2023 14:36 14m 44s
Update for Earlybird usage coverage #770: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 1m 56s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 1m 56s
Fix YAML witness invariants for unrolled loops coverage #769: Pull request #1248 synchronize by sim642
November 17, 2023 11:19 20m 16s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 20m 16s
Fix YAML witness invariants for unrolled loops coverage #768: Pull request #1248 opened by sim642
November 17, 2023 11:11 5m 35s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:11 5m 35s
Handling escaped variables in region analysis coverage #767: Pull request #989 synchronize by sim642
November 17, 2023 10:29 21m 23s region-escape
region-escape
November 17, 2023 10:29 21m 23s
Fix region escaping in per-thread-array-init-race coverage #766: Pull request #1247 opened by sim642
November 17, 2023 10:17 14m 27s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:17 14m 27s
coverage coverage #765: Scheduled
November 17, 2023 02:10 28m 45s master
master
November 17, 2023 02:10 28m 45s
TUM Practical Course Summer 2023: Termination Analyses coverage #764: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 17m 52s serenita:master
serenita:master
November 16, 2023 16:49 17m 52s
TUM Practical Course Summer 2023: Termination Analyses coverage #763: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 15m 27s serenita:master
serenita:master
November 16, 2023 16:48 15m 27s
TUM Practical Course Summer 2023: Termination Analyses coverage #762: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 17m 51s serenita:master
serenita:master
November 16, 2023 16:45 17m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.