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

SV-COMP "Memory Safety" benchmark additions coverage #596: Pull request #1201 synchronize by mrstanb
October 4, 2023 10:47 26m 50s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 10:47 26m 50s
Remove spurious long double constant warning coverage #595: Pull request #1202 synchronize by michael-schwarz
October 4, 2023 10:38 20m 7s long_double_constant_warning
long_double_constant_warning
October 4, 2023 10:38 20m 7s
Some ~15 more library functions coverage #594: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 10:30 18m 30s library_me_one_more_time
library_me_one_more_time
October 4, 2023 10:30 18m 30s
SV-COMP "Memory Safety" benchmark additions coverage #593: Pull request #1201 synchronize by mrstanb
October 4, 2023 10:25 15m 49s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 10:25 15m 49s
SV-COMP "Memory Safety" benchmark additions coverage #592: Pull request #1201 synchronize by mrstanb
October 4, 2023 09:36 14m 10s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 09:36 14m 10s
Some ~15 more library functions coverage #591: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 09:29 15m 9s library_me_one_more_time
library_me_one_more_time
October 4, 2023 09:29 15m 9s
Some ~15 more library functions coverage #590: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 08:52 22m 56s library_me_one_more_time
library_me_one_more_time
October 4, 2023 08:52 22m 56s
Some ~15 more library functions coverage #589: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 08:52 29m 48s library_me_one_more_time
library_me_one_more_time
October 4, 2023 08:52 29m 48s
coverage coverage #588: Scheduled
October 4, 2023 02:05 39m 47s master
master
October 4, 2023 02:05 39m 47s
SV-COMP "Memory Safety" benchmark additions coverage #587: Pull request #1201 synchronize by mrstanb
October 3, 2023 21:57 19m 20s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 21:57 19m 20s
Some ~15 more library functions coverage #586: Pull request #1203 opened by michael-schwarz
October 3, 2023 20:51 19m 18s library_me_one_more_time
library_me_one_more_time
October 3, 2023 20:51 19m 18s
SV-COMP "Memory Safety" benchmark additions coverage #585: Pull request #1201 synchronize by michael-schwarz
October 3, 2023 16:48 19m 34s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 16:48 19m 34s
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