Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
713 workflow run results
713 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small output readability improvements coverage #1402: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:55 11m 34s issue-1192
issue-1192
February 14, 2024 11:55 11m 34s
Small output readability improvements coverage #1401: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:39 10m 2s issue-1192
issue-1192
February 14, 2024 11:39 10m 2s
Small output readability improvements coverage #1400: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:38 9m 33s issue-1192
issue-1192
February 14, 2024 11:38 9m 33s
Small output readability improvements coverage #1399: Pull request #1312 synchronize by karoliineh
February 14, 2024 10:15 9m 25s issue-1192
issue-1192
February 14, 2024 10:15 9m 25s
Add cram tests for CFGs coverage #1398: Pull request #1360 synchronize by sim642
February 14, 2024 08:28 10m 56s cfg-test
cfg-test
February 14, 2024 08:28 10m 56s
coverage coverage #1397: Scheduled
February 14, 2024 02:03 15m 0s master
master
February 14, 2024 02:03 15m 0s
Add cram tests for CFGs coverage #1396: Pull request #1360 synchronize by sim642
February 13, 2024 15:55 11m 7s cfg-test
cfg-test
February 13, 2024 15:55 11m 7s
Add cram tests for CFGs coverage #1395: Pull request #1360 synchronize by sim642
February 13, 2024 15:33 11m 31s cfg-test
cfg-test
February 13, 2024 15:33 11m 31s
Add cram tests for CFGs coverage #1394: Pull request #1360 synchronize by sim642
February 13, 2024 15:15 11m 13s cfg-test
cfg-test
February 13, 2024 15:15 11m 13s
Add cram tests for CFGs coverage #1393: Pull request #1360 synchronize by sim642
February 13, 2024 15:02 10m 53s cfg-test
cfg-test
February 13, 2024 15:02 10m 53s
Add cram tests for CFGs coverage #1392: Pull request #1360 synchronize by sim642
February 13, 2024 14:39 11m 4s cfg-test
cfg-test
February 13, 2024 14:39 11m 4s
Add cram tests for CFGs coverage #1391: Pull request #1360 synchronize by sim642
February 13, 2024 14:32 9m 46s cfg-test
cfg-test
February 13, 2024 14:32 9m 46s
Add cram tests for CFGs coverage #1390: Pull request #1360 synchronize by sim642
February 13, 2024 14:28 10m 48s cfg-test
cfg-test
February 13, 2024 14:28 10m 48s
Add cram tests for CFGs coverage #1389: Pull request #1360 synchronize by sim642
February 13, 2024 14:22 9m 25s cfg-test
cfg-test
February 13, 2024 14:22 9m 25s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1388: Pull request #1330 synchronize by FungOliver
February 13, 2024 13:24 11m 7s FungOliver:relationalArray
FungOliver:relationalArray
February 13, 2024 13:24 11m 7s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1387: Pull request #1330 synchronize by FungOliver
February 13, 2024 13:04 11m 52s FungOliver:relationalArray
FungOliver:relationalArray
February 13, 2024 13:04 11m 52s
Replace direct stdout printing with logging coverage #1386: Pull request #1117 synchronize by sim642
February 13, 2024 12:46 12m 36s logs
logs
February 13, 2024 12:46 12m 36s
Adapt to removed Libmaincil module coverage #1385: Pull request #1350 synchronize by sim642
February 13, 2024 12:01 11m 22s rm-libmaincil
rm-libmaincil
February 13, 2024 12:01 11m 22s
Linear Two-Variable Equalities Analysis coverage #1384: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 10:33 8m 39s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 10:33 8m 39s
Linear Two-Variable Equalities Analysis coverage #1383: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 10:03 8m 44s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 10:03 8m 44s
Linear Two-Variable Equalities Analysis coverage #1382: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 09:20 8m 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 09:20 8m 38s
Linear Two-Variable Equalities Analysis coverage #1381: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 08:36 9m 1s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 08:36 9m 1s
coverage coverage #1380: Scheduled
February 13, 2024 02:03 12m 1s master
master
February 13, 2024 02:03 12m 1s
Linear Two-Variable Equalities Analysis coverage #1379: Pull request #1297 synchronize by DrMichaelPetter
February 12, 2024 20:56 9m 2s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 12, 2024 20:56 9m 2s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1378: Pull request #1340 synchronize by SchiJoha
February 12, 2024 08:47 10m 57s SchiJoha:master
SchiJoha:master
February 12, 2024 08:47 10m 57s