Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
238 workflow run results
238 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions coverage #584: Pull request #1201 synchronize by mrstanb
October 3, 2023 16:13 25m 27s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 16:13 25m 27s
SV-COMP "Memory Safety" benchmark additions coverage #583: Pull request #1201 synchronize by mrstanb
October 3, 2023 15:37 8m 6s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 15:37 8m 6s
SV-COMP "Memory Safety" benchmark additions coverage #582: Pull request #1201 synchronize by mrstanb
October 3, 2023 14:40 20m 11s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 14:40 20m 11s
SV-COMP "Memory Safety" benchmark additions coverage #581: Pull request #1201 synchronize by mrstanb
October 3, 2023 14:33 14m 2s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 14:33 14m 2s
TUM Practical Course Summer 2023: Termination Analyses coverage #580: Pull request #1093 synchronize by michael-schwarz
October 3, 2023 14:11 22m 45s serenita:master
serenita:master
October 3, 2023 14:11 22m 45s
TUM Practical Course Summer 2023: Termination Analyses coverage #579: Pull request #1093 synchronize by michael-schwarz
October 3, 2023 13:54 12m 4s serenita:master
serenita:master
October 3, 2023 13:54 12m 4s
Port ~50 library specifications to the new system coverage #578: Pull request #1200 synchronize by michael-schwarz
October 3, 2023 13:36 25m 2s even_even_more_library
even_even_more_library
October 3, 2023 13:36 25m 2s
SV-COMP "Memory Safety" benchmark additions coverage #577: Pull request #1201 synchronize by mrstanb
October 3, 2023 13:26 22m 59s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 13:26 22m 59s
SV-COMP "Memory Safety" benchmark additions coverage #576: Pull request #1201 synchronize by mrstanb
October 3, 2023 13:13 13m 51s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 13:13 13m 51s
Remove spurious long double constant warning coverage #575: Pull request #1202 opened by michael-schwarz
October 3, 2023 12:40 29m 22s long_double_constant_warning
long_double_constant_warning
October 3, 2023 12:40 29m 22s
SV-COMP "Memory Safety" benchmark additions coverage #574: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:35 19m 39s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:35 19m 39s
SV-COMP "Memory Safety" benchmark additions coverage #573: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:32 19m 25s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:32 19m 25s
SV-COMP "Memory Safety" benchmark additions coverage #572: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:25 29m 50s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:25 29m 50s
SV-COMP "Memory Safety" benchmark additions coverage #571: Pull request #1201 synchronize by mrstanb
October 3, 2023 09:57 19m 42s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 09:57 19m 42s
coverage coverage #570: Scheduled
October 3, 2023 02:04 33m 5s master
master
October 3, 2023 02:04 33m 5s
SV-COMP "Memory Safety" benchmark additions coverage #569: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 22m 27s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 22m 27s
SV-COMP "Memory Safety" benchmark additions coverage #568: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 20m 9s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 20m 9s
coverage coverage #567: Scheduled
October 2, 2023 02:04 43m 9s master
master
October 2, 2023 02:04 43m 9s
Add out-of-bounds check for memset and memcpy coverage #566: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 26m 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 26m 18s
Add out-of-bounds check for memset and memcpy coverage #565: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:34 18m 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:34 18m 45s
Add out-of-bounds check for memset and memcpy coverage #564: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:16 19m 7s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:16 19m 7s
Add out-of-bounds check for memset and memcpy coverage #563: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:46 19m 28s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:46 19m 28s
Add out-of-bounds check for memset and memcpy coverage #562: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:45 25m 20s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:45 25m 20s
Port ~50 library specifications to the new system coverage #561: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:21 25m 29s even_even_more_library
even_even_more_library
October 1, 2023 15:21 25m 29s
Port ~50 library specifications to the new system coverage #560: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:04 19m 16s even_even_more_library
even_even_more_library
October 1, 2023 15:04 19m 16s