Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
333 workflow run results
333 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Organize some general modules into dune libraries coverage #622: Pull request #1206 synchronize by sim642
October 9, 2023 13:13 23m 22s goblint-dune-libs
goblint-dune-libs
October 9, 2023 13:13 23m 22s
Check duplicate library functions coverage #621: Pull request #1213 opened by sim642
October 9, 2023 13:04 24m 28s libfuns-duplicate
libfuns-duplicate
October 9, 2023 13:04 24m 28s
Add missing library functions for large Concrat benchmarks coverage #620: Pull request #1212 opened by sim642
October 9, 2023 13:01 25m 45s libfuns-concrat
libfuns-concrat
October 9, 2023 13:01 25m 45s
Fix longjmp crash on Uninitialized coverage #619: Pull request #1210 opened by sim642
October 9, 2023 08:50 21m 30s longjmp-top
longjmp-top
October 9, 2023 08:50 21m 30s
coverage coverage #618: Scheduled
October 9, 2023 02:04 33m 24s master
master
October 9, 2023 02:04 33m 24s
coverage coverage #617: Scheduled
October 8, 2023 02:07 42m 26s master
master
October 8, 2023 02:07 42m 26s
coverage coverage #616: Scheduled
October 7, 2023 02:03 40m 18s master
master
October 7, 2023 02:03 40m 18s
SV-COMP "Memory Safety" benchmark additions coverage #615: Pull request #1201 synchronize by mrstanb
October 6, 2023 21:10 29m 14s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 21:10 29m 14s
SV-COMP "Memory Safety" benchmark additions coverage #614: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:57 9m 18s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:57 9m 18s
SV-COMP "Memory Safety" benchmark additions coverage #613: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:57 9m 53s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:57 9m 53s
SV-COMP "Memory Safety" benchmark additions coverage #612: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:56 8m 51s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:56 8m 51s
SV-COMP "Memory Safety" benchmark additions coverage #611: Pull request #1201 synchronize by mrstanb
October 6, 2023 20:55 10m 44s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 6, 2023 20:55 10m 44s
Add ana.base.strings.domain option and unit string domain coverage #610: Pull request #1208 opened by sim642
October 6, 2023 15:06 23m 41s string-unit-domain
string-unit-domain
October 6, 2023 15:06 23m 41s
coverage coverage #609: Scheduled
October 6, 2023 02:04 34m 48s master
master
October 6, 2023 02:04 34m 48s
Improve SV-COMP conf for no-data-race coverage #608: Pull request #1207 opened by sim642
October 5, 2023 14:46 19m 40s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 19m 40s
Organize some general modules into dune libraries coverage #607: Pull request #1206 opened by sim642
October 5, 2023 13:35 20m 11s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 20m 11s
SV-COMP "Memory Safety" benchmark additions coverage #606: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 28m 17s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 28m 17s
SV-COMP "Memory Safety" benchmark additions coverage #605: Pull request #1201 synchronize by mrstanb
October 5, 2023 12:04 26m 22s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 12:04 26m 22s
Add some library functions for zstd coverage #604: Pull request #1205 synchronize by sim642
October 5, 2023 09:05 29m 31s libfuns-zstd
libfuns-zstd
October 5, 2023 09:05 29m 31s
Add some library functions for zstd coverage #603: Pull request #1205 opened by sim642
October 5, 2023 09:00 23m 28s libfuns-zstd
libfuns-zstd
October 5, 2023 09:00 23m 28s
coverage coverage #602: Scheduled
October 5, 2023 02:07 48m 18s master
master
October 5, 2023 02:07 48m 18s
SV-COMP "Memory Safety" benchmark additions coverage #601: Pull request #1201 synchronize by mrstanb
October 4, 2023 20:55 19m 59s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 20:55 19m 59s
SV-COMP "Memory Safety" benchmark additions coverage #600: Pull request #1201 synchronize by mrstanb
October 4, 2023 20:11 19m 54s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 20:11 19m 54s
SV-COMP "Memory Safety" benchmark additions coverage #599: Pull request #1201 synchronize by mrstanb
October 4, 2023 18:40 27m 21s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 18:40 27m 21s
SV-COMP "Memory Safety" benchmark additions coverage #598: Pull request #1201 synchronize by mrstanb
October 4, 2023 17:53 7m 4s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 17:53 7m 4s