Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
281 workflow run results
281 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some hacky atomic privatizations coverage #881: Pull request #1216 synchronize by sim642
November 27, 2023 14:06 10m 26s priv-atomic
priv-atomic
November 27, 2023 14:06 10m 26s
Generalize and clean up abs invariant in base analysis coverage #880: Pull request #1274 opened by sim642
November 27, 2023 12:37 13m 45s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:37 13m 45s
Klever concurrency safety support coverage #879: Pull request #688 synchronize by sim642
November 27, 2023 12:32 19m 58s klever
klever
November 27, 2023 12:32 19m 58s
Klever concurrency safety support coverage #878: Pull request #688 synchronize by sim642
November 27, 2023 10:29 14m 12s klever
klever
November 27, 2023 10:29 14m 12s
Add ana.base.strings.domain option and unit string domain coverage #877: Pull request #1208 synchronize by sim642
November 27, 2023 08:44 12m 50s string-unit-domain
string-unit-domain
November 27, 2023 08:44 12m 50s
coverage coverage #876: Scheduled
November 27, 2023 02:10 27m 0s master
master
November 27, 2023 02:10 27m 0s
Null Byte Array Domain coverage #875: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 20:01 10m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 20:01 10m 11s
Null Byte Array Domain coverage #874: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 19:00 14m 7s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 19:00 14m 7s
Null Byte Array Domain coverage #873: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 17:08 12m 1s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 17:08 12m 1s
Null Byte Array Domain coverage #872: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 16:38 14m 30s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 16:38 14m 30s
Null Byte Array Domain coverage #871: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 15:18 15m 23s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 15:18 15m 23s
Null Byte Array Domain coverage #870: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 12:06 9m 37s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 12:06 9m 37s
coverage coverage #869: Scheduled
November 26, 2023 02:11 25m 32s master
master
November 26, 2023 02:11 25m 32s
Null Byte Array Domain coverage #868: Pull request #1076 synchronize by michael-schwarz
November 25, 2023 19:21 9m 29s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 25, 2023 19:21 9m 29s
Null Byte Array Domain coverage #867: Pull request #1076 synchronize by michael-schwarz
November 25, 2023 18:26 10m 0s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 25, 2023 18:26 10m 0s
coverage coverage #866: Scheduled
November 25, 2023 02:06 20m 21s master
master
November 25, 2023 02:06 20m 21s
Null Byte Array Domain coverage #865: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 22:57 9m 43s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 22:57 9m 43s
Null Byte Array Domain coverage #864: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 22:54 9m 39s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 22:54 9m 39s
Null Byte Array Domain coverage #863: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 21:47 11m 35s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 21:47 11m 35s
Null Byte Array Domain coverage #862: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 21:14 10m 22s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 21:14 10m 22s
Null Byte Array Domain coverage #861: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 20:17 10m 47s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 20:17 10m 47s
Null Byte Array Domain coverage #860: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 20:07 14m 15s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 20:07 14m 15s
Null Byte Array Domain coverage #859: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 19:56 15m 40s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 19:56 15m 40s
Null Byte Array Domain coverage #858: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 19:36 9m 46s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 19:36 9m 46s
SV-COMP 2024 development coverage #857: Pull request #1257 synchronize by sim642
November 24, 2023 08:26 12m 29s svcomp24-dev
svcomp24-dev
November 24, 2023 08:26 12m 29s