Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
247 workflow run results
247 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support multi-property SV-COMP specifications coverage #689: Pull request #1228 synchronize by sim642
November 2, 2023 08:05 30m 32s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 30m 32s
coverage coverage #688: Scheduled
November 2, 2023 02:04 35m 34s master
master
November 2, 2023 02:04 35m 34s
Add unknown thread ID coverage #687: Pull request #1224 synchronize by karoliineh
November 1, 2023 18:31 23m 26s issue-392
issue-392
November 1, 2023 18:31 23m 26s
TUM Practical Course Summer 2023: Termination Analyses coverage #686: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:59 16m 43s serenita:master
serenita:master
November 1, 2023 17:59 16m 43s
TUM Practical Course Summer 2023: Termination Analyses coverage #685: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:56 14m 38s serenita:master
serenita:master
November 1, 2023 17:56 14m 38s
TUM Practical Course Summer 2023: Termination Analyses coverage #684: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:37 23m 4s serenita:master
serenita:master
November 1, 2023 17:37 23m 4s
TUM Practical Course Summer 2023: Termination Analyses coverage #683: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:36 10m 32s serenita:master
serenita:master
November 1, 2023 17:36 10m 32s
TUM Practical Course Summer 2023: Termination Analyses coverage #682: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:28 18m 2s serenita:master
serenita:master
November 1, 2023 17:28 18m 2s
TUM Practical Course Summer 2023: Termination Analyses coverage #681: Pull request #1093 synchronize by michael-schwarz
November 1, 2023 17:19 31m 52s serenita:master
serenita:master
November 1, 2023 17:19 31m 52s
Spawn threads created from unknown functions as non-unique coverage #680: Pull request #1187 synchronize by michael-schwarz
November 1, 2023 16:48 24m 41s issue_843
issue_843
November 1, 2023 16:48 24m 41s
threadAnalysis: Only add to set of must-joined threads if argument to pthread_join evaluates to a singleton coverage #679: Pull request #1230 opened by michael-schwarz
November 1, 2023 16:03 17m 36s issue_1223
issue_1223
November 1, 2023 16:03 17m 36s
Improve SV-COMP conf for no-data-race coverage #678: Pull request #1207 synchronize by sim642
November 1, 2023 10:11 22m 2s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 22m 2s
coverage coverage #677: Scheduled
November 1, 2023 02:09 45m 27s master
master
November 1, 2023 02:09 45m 27s
Support multi-property SV-COMP specifications coverage #676: Pull request #1228 synchronize by sim642
October 31, 2023 17:13 25m 3s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:13 25m 3s
Support multi-property SV-COMP specifications coverage #675: Pull request #1228 opened by sim642
October 31, 2023 17:00 22m 25s sv-comp-multiproperty
sv-comp-multiproperty
October 31, 2023 17:00 22m 25s
coverage coverage #674: Scheduled
October 31, 2023 02:05 41m 6s master
master
October 31, 2023 02:05 41m 6s
Refactor GraphML witness options coverage #673: Pull request #1226 opened by sim642
October 30, 2023 15:46 20m 39s sv-comp-yaml
sv-comp-yaml
October 30, 2023 15:46 20m 39s
coverage coverage #672: Scheduled
October 30, 2023 02:05 35m 5s master
master
October 30, 2023 02:05 35m 5s
Add unknown thread ID coverage #671: Pull request #1224 synchronize by karoliineh
October 29, 2023 19:20 18m 27s issue-392
issue-392
October 29, 2023 19:20 18m 27s
Add unknown thread ID coverage #670: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:20 21m 58s issue-392
issue-392
October 29, 2023 18:20 21m 58s
Add unknown thread ID coverage #669: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:16 21m 34s issue-392
issue-392
October 29, 2023 18:16 21m 34s
coverage coverage #668: Scheduled
October 29, 2023 02:07 32m 31s master
master
October 29, 2023 02:07 32m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-10-29 or the other filters available.