Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
218 workflow run results
218 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #722: Scheduled
November 10, 2023 02:06 29m 21s master
master
November 10, 2023 02:06 29m 21s
Add support for YAML witness entry type invariant_set coverage #721: Pull request #1240 synchronize by sim642
November 9, 2023 11:09 24m 47s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 11:09 24m 47s
Add support for YAML witness entry type invariant_set coverage #720: Pull request #1240 synchronize by sim642
November 9, 2023 10:43 17m 20s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 10:43 17m 20s
Improve SV-COMP conf for no-data-race coverage #719: Pull request #1207 synchronize by sim642
November 9, 2023 10:33 21m 49s svcomp24-conf
svcomp24-conf
November 9, 2023 10:33 21m 49s
Improve SV-COMP conf for no-data-race coverage #718: Pull request #1207 synchronize by sim642
November 9, 2023 09:59 19m 54s svcomp24-conf
svcomp24-conf
November 9, 2023 09:59 19m 54s
Add some library functions from SV-COMP coverage #717: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:18 27m 44s issue_1239
issue_1239
November 9, 2023 09:18 27m 44s
Add some library functions from SV-COMP coverage #716: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:16 28m 38s issue_1239
issue_1239
November 9, 2023 09:16 28m 38s
coverage coverage #715: Scheduled
November 9, 2023 02:06 33m 51s master
master
November 9, 2023 02:06 33m 51s
Account for allocated heap memory which is unreachable from globals coverage #714: Pull request #1241 synchronize by mrstanb
November 8, 2023 21:52 17m 10s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 17m 10s
Account for allocated heap memory which is unreachable from globals coverage #713: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:53 17m 33s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 17m 33s
Account for allocated heap memory which is unreachable from globals coverage #712: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:52 22m 4s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 22m 4s
Account for allocated heap memory which is unreachable from globals coverage #711: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:51 29m 38s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 29m 38s
Add some library functions from SV-COMP coverage #710: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:15 17m 16s issue_1239
issue_1239
November 8, 2023 13:15 17m 16s
Add some library functions from SV-COMP coverage #709: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:12 13m 5s issue_1239
issue_1239
November 8, 2023 13:12 13m 5s
Add some library functions from SV-COMP coverage #708: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 13:01 11m 56s issue_1239
issue_1239
November 8, 2023 13:01 11m 56s
Add some library functions from SV-COMP coverage #707: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 11:41 28m 40s issue_1239
issue_1239
November 8, 2023 11:41 28m 40s
Add some library functions from SV-COMP coverage #706: Pull request #1242 synchronize by michael-schwarz
November 8, 2023 10:42 23m 49s issue_1239
issue_1239
November 8, 2023 10:42 23m 49s
Add some library functions from SV-COMP coverage #705: Pull request #1242 opened by michael-schwarz
November 8, 2023 10:22 22m 11s issue_1239
issue_1239
November 8, 2023 10:22 22m 11s
coverage coverage #704: Scheduled
November 8, 2023 02:06 33m 35s master
master
November 8, 2023 02:06 33m 35s
Account for allocated heap memory which is unreachable from globals coverage #703: Pull request #1241 opened by mrstanb
November 7, 2023 20:55 21m 54s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 7, 2023 20:55 21m 54s
Add support for YAML witness entry type invariant_set coverage #702: Pull request #1240 opened by sim642
November 7, 2023 13:24 21m 48s yaml-witness-2.0
yaml-witness-2.0
November 7, 2023 13:24 21m 48s
coverage coverage #701: Scheduled
November 7, 2023 02:07 29m 3s master
master
November 7, 2023 02:07 29m 3s
Experiment with path- and context-sensitivity for memLeak analysis coverage #700: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 15:44 19m 2s path_sens_memleak
path_sens_memleak
November 6, 2023 15:44 19m 2s
Experiment with path- and context-sensitivity for memLeak analysis coverage #699: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 13:35 22m 14s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 22m 14s
Use inlined ARG edges for unambiguous stacked ARG function return coverage #698: Pull request #1236 opened by sim642
November 6, 2023 12:48 23m 33s issue-1235
issue-1235
November 6, 2023 12:48 23m 33s