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

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
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1377: Pull request #1330 synchronize by FungOliver
February 12, 2024 03:48 10m 54s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 03:48 10m 54s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1376: Pull request #1330 synchronize by FungOliver
February 12, 2024 03:41 10m 42s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 03:41 10m 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1375: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:44 10m 53s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:44 10m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1374: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:29 10m 53s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:29 10m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1373: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:16 10m 57s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:16 10m 57s
coverage coverage #1372: Scheduled
February 12, 2024 02:04 11m 22s master
master
February 12, 2024 02:04 11m 22s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1371: Pull request #1330 synchronize by FungOliver
February 11, 2024 21:25 11m 6s FungOliver:relationalArray
FungOliver:relationalArray
February 11, 2024 21:25 11m 6s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1370: Pull request #1340 synchronize by SchiJoha
February 11, 2024 15:18 11m 20s SchiJoha:master
SchiJoha:master
February 11, 2024 15:18 11m 20s
coverage coverage #1369: Scheduled
February 11, 2024 02:06 11m 28s master
master
February 11, 2024 02:06 11m 28s
Linear Two-Variable Equalities Analysis coverage #1368: Pull request #1297 synchronize by DrMichaelPetter
February 10, 2024 17:42 8m 50s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 10, 2024 17:42 8m 50s