6207729033
92%

Ran 16 Sep 2023 02:00PM UTC

Jobs 1

Files 69

Run time 4s

Badge

Committed 16 Sep 2023 01:23PM UTC coverage: 91.032% (+0.005%) from 91.027%

Build Type

push

github

Committed by

Commit Message

Merge Prefix and simpleName fields in c_prefixedName

Makes handling prefixed names where the prefix is another prefixed name
a lot simpler.

Run Details

70 of 70 new or added lines in 1 file covered. (100.0%)

48013 of 52743 relevant lines covered (91.03%)

941110.03 hits per line

Lines	Coverage	∆	File
1	85.97	0.31%	src/vhpi/vhpi-model.c

Lines	Coverage	∆	File
1	88.97	-0.18%	src/thread.c
3	96.51	0.41%	src/jit/jit-layout.c
196	85.97	0.31%	src/vhpi/vhpi-model.c

ID	Job ID	Ran	Files	Coverage
1	6207729033.1	16 Sep 2023 02:00PM UTC	69	91.03	GitHub Action Run