885538972
86%

Ran 28 May 2021 12:21PM UTC

Jobs 9

Files 82

Run time 35min

Badge

Build Type

push

github

Committed by GitHub

Commit Message

Reduce the number of calls to the SMT solver in EVM (#2411)

Run Details

104 of 114 new or added lines in 4 files covered. (91.23%)

315 existing lines in 3 files now uncovered.

20367 of 23558 relevant lines covered (86.45%)

2.89 hits per line

ID	Job ID	Ran	Coverage
1	885538972.1	28 May 2021 12:21PM UTC	39.79
2	885538972.2	28 May 2021 12:22PM UTC	38.02
3	885538972.3	28 May 2021 12:25PM UTC	25.61
4	885538972.4	28 May 2021 12:26PM UTC	48.39
5	885538972.5	28 May 2021 12:38PM UTC	24.82
6	885538972.6	28 May 2021 12:42PM UTC	17.83
7	885538972.7	28 May 2021 12:43PM UTC	64.01
8	885538972.8	28 May 2021 12:46PM UTC	36.12
9	885538972.9	28 May 2021 12:56PM UTC	24.6

Detailed source file information is not available for this build.