Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
793 workflow run results
793 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add cram tests for CFGs coverage #1341: Pull request #1360 opened by sim642
February 9, 2024 11:54 9m 39s cfg-test
cfg-test
February 9, 2024 11:54 9m 39s
Linear Two-Variable Equalities Analysis coverage #1340: Pull request #1297 synchronize by DrMichaelPetter
February 9, 2024 10:19 10m 59s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 10:19 10m 59s
Linear Two-Variable Equalities Analysis coverage #1339: Pull request #1297 synchronize by DrMichaelPetter
February 9, 2024 07:02 10m 45s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 07:02 10m 45s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1338: Pull request #1330 synchronize by FungOliver
February 9, 2024 04:41 11m 28s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 04:41 11m 28s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1337: Pull request #1330 synchronize by FungOliver
February 9, 2024 04:00 8m 49s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 04:00 8m 49s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1336: Pull request #1330 synchronize by FungOliver
February 9, 2024 03:34 8m 42s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 03:34 8m 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1335: Pull request #1330 synchronize by FungOliver
February 9, 2024 03:32 9m 25s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 03:32 9m 25s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1334: Pull request #1330 synchronize by FungOliver
February 9, 2024 03:24 8m 55s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 03:24 8m 55s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1333: Pull request #1330 synchronize by FungOliver
February 9, 2024 03:12 8m 35s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 03:12 8m 35s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1332: Pull request #1330 synchronize by FungOliver
February 9, 2024 03:04 8m 43s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 03:04 8m 43s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1331: Pull request #1330 synchronize by FungOliver
February 9, 2024 02:53 6m 10s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 02:53 6m 10s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1330: Pull request #1330 synchronize by FungOliver
February 9, 2024 02:52 5m 40s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 02:52 5m 40s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1329: Pull request #1330 synchronize by FungOliver
February 9, 2024 02:34 5m 34s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 02:34 5m 34s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1328: Pull request #1330 synchronize by FungOliver
February 9, 2024 02:02 14m 40s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 02:02 14m 40s
coverage coverage #1327: Scheduled
February 9, 2024 02:02 17m 28s master
master
February 9, 2024 02:02 17m 28s
Linear Two-Variable Equalities Analysis coverage #1326: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 21:50 10m 42s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 21:50 10m 42s
Linear Two-Variable Equalities Analysis coverage #1325: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 21:39 10m 47s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 21:39 10m 47s
Linear Two-Variable Equalities Analysis coverage #1324: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 21:09 10m 47s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 21:09 10m 47s
Linear Two-Variable Equalities Analysis coverage #1323: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 20:48 11m 4s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 20:48 11m 4s
Linear Two-Variable Equalities Analysis coverage #1322: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 20:45 11m 10s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 20:45 11m 10s
Linear Two-Variable Equalities Analysis coverage #1321: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 20:28 11m 21s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 20:28 11m 21s
Linear Two-Variable Equalities Analysis coverage #1320: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 20:03 11m 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 20:03 11m 22s
Linear Two-Variable Equalities Analysis coverage #1319: Pull request #1297 synchronize by michael-schwarz
February 8, 2024 19:37 11m 14s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 8, 2024 19:37 11m 14s
Add cram tests for YAML witnesses coverage #1318: Pull request #1357 synchronize by sim642
February 8, 2024 14:31 9m 24s yaml-witness-test
yaml-witness-test
February 8, 2024 14:31 9m 24s
Add cram tests for YAML witnesses coverage #1317: Pull request #1357 opened by sim642
February 8, 2024 14:26 9m 57s yaml-witness-test
yaml-witness-test
February 8, 2024 14:26 9m 57s