Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
739 workflow run results
739 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear Two-Variable Equalities Analysis coverage #1367: Pull request #1297 synchronize by DrMichaelPetter
February 10, 2024 16:08 9m 26s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 10, 2024 16:08 9m 26s
Add option witness.invariant.all-locals to only print locals definitely in scope coverage #1366: Pull request #1362 synchronize by michael-schwarz
February 10, 2024 15:54 11m 25s issue_1361
issue_1361
February 10, 2024 15:54 11m 25s
Add option witness.invariant.all-locals to only print locals definitely in scope coverage #1365: Pull request #1362 opened by michael-schwarz
February 10, 2024 15:52 10m 51s issue_1361
issue_1361
February 10, 2024 15:52 10m 51s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1364: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:54 11m 35s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:54 11m 35s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1363: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:18 10m 51s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:18 10m 51s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1362: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:01 8m 14s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:01 8m 14s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1361: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:00 8m 50s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:00 8m 50s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1360: Pull request #1330 synchronize by FungOliver
February 10, 2024 04:52 9m 11s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 04:52 9m 11s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1359: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:57 8m 55s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:57 8m 55s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1358: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:31 8m 37s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:31 8m 37s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1357: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:30 8m 42s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:30 8m 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1356: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:13 9m 33s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:13 9m 33s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1355: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:10 9m 4s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:10 9m 4s
coverage coverage #1354: Scheduled
February 10, 2024 02:01 11m 36s master
master
February 10, 2024 02:01 11m 36s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1353: Pull request #1330 synchronize by FungOliver
February 10, 2024 01:26 11m 2s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 01:26 11m 2s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1352: Pull request #1330 synchronize by FungOliver
February 10, 2024 01:22 10m 59s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 01:22 10m 59s
Linear Two-Variable Equalities Analysis coverage #1350: Pull request #1297 synchronize by michael-schwarz
February 9, 2024 20:37 8m 31s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 20:37 8m 31s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1349: Pull request #1330 synchronize by FungOliver
February 9, 2024 20:33 11m 6s FungOliver:relationalArray
FungOliver:relationalArray
February 9, 2024 20:33 11m 6s
Linear Two-Variable Equalities Analysis coverage #1348: Pull request #1297 synchronize by michael-schwarz
February 9, 2024 20:15 8m 42s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 20:15 8m 42s
Linear Two-Variable Equalities Analysis coverage #1347: Pull request #1297 synchronize by michael-schwarz
February 9, 2024 19:47 9m 1s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 19:47 9m 1s
Linear Two-Variable Equalities Analysis coverage #1346: Pull request #1297 synchronize by michael-schwarz
February 9, 2024 19:41 8m 40s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 19:41 8m 40s
Linear Two-Variable Equalities Analysis coverage #1345: Pull request #1297 synchronize by DrMichaelPetter
February 9, 2024 14:47 9m 52s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 14:47 9m 52s
Linear Two-Variable Equalities Analysis coverage #1344: Pull request #1297 synchronize by michael-schwarz
February 9, 2024 14:05 8m 42s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 9, 2024 14:05 8m 42s
Add cram tests for CFGs coverage #1343: Pull request #1360 synchronize by sim642
February 9, 2024 13:27 9m 31s cfg-test
cfg-test
February 9, 2024 13:27 9m 31s
Add cram tests for CFGs coverage #1342: Pull request #1360 synchronize by sim642
February 9, 2024 12:13 9m 57s cfg-test
cfg-test
February 9, 2024 12:13 9m 57s