Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
45 workflow run results
45 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Data-race challenges extracted from benchmarks coverage #470: Pull request #1178 opened by sim642
September 20, 2023 09:22 16m 25s race-challenges
race-challenges
September 20, 2023 09:22 16m 25s
Add and fix library functions for Concrat benchmarks coverage #469: Pull request #1174 synchronize by sim642
September 20, 2023 07:26 15m 8s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 15m 8s
coverage coverage #468: Scheduled
September 20, 2023 02:03 35m 1s master
master
September 20, 2023 02:03 35m 1s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis coverage #467: Pull request #1176 opened by sim642
September 19, 2023 14:50 19m 37s race-null
race-null
September 19, 2023 14:50 19m 37s
Add and fix library functions for Concrat benchmarks coverage #466: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 18m 25s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 18m 25s
coverage coverage #465: Scheduled
September 19, 2023 02:05 45m 53s master
master
September 19, 2023 02:05 45m 53s
Add and fix library functions for Concrat benchmarks coverage #464: Pull request #1174 opened by sim642
September 18, 2023 15:03 17m 7s libfuns-concrat
libfuns-concrat
September 18, 2023 15:03 17m 7s
Use AddressDomain for queries coverage #463: Pull request #1144 synchronize by karoliineh
September 18, 2023 12:48 19m 19s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 19m 19s
Null Byte Array Domain coverage #462: Pull request #1076 synchronize by nathanschmidt
September 18, 2023 10:14 23m 26s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 18, 2023 10:14 23m 26s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #461: Pull request #1142 synchronize by sim642
September 18, 2023 09:05 23m 31s queries-ad
queries-ad
September 18, 2023 09:05 23m 31s
Fix thread analysis termination with a self-creating thread coverage #460: Pull request #1173 opened by sim642
September 18, 2023 09:01 18m 41s thread-self-create
thread-self-create
September 18, 2023 09:01 18m 41s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions coverage #459: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 20m 8s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 20m 8s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions coverage #458: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:36 30m 0s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 30m 0s
coverage coverage #457: Scheduled
September 18, 2023 02:04 35m 57s master
master
September 18, 2023 02:04 35m 57s
coverage coverage #456: Scheduled
September 17, 2023 02:05 32m 2s master
master
September 17, 2023 02:05 32m 2s
Add some setjump/longjump tests for race detection coverage #455: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 18m 7s races_sjlj
races_sjlj
September 16, 2023 14:48 18m 7s
Add some setjump/longjump tests for race detection coverage #454: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 24m 18s races_sjlj
races_sjlj
September 16, 2023 14:39 24m 18s
Null Byte Array Domain coverage #453: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 18m 11s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 18m 11s
coverage coverage #452: Scheduled
September 16, 2023 02:01 35m 3s master
master
September 16, 2023 02:01 35m 3s
fix: copying of files to GobView in projects with subdirectories coverage #389: Pull request #1143 opened by sallto
August 28, 2023 14:53 22m 55s sallto:master
sallto:master
August 28, 2023 14:53 22m 55s