lsils / mockturtle / 132420890 / 1
80%
master: 100%

LAST BUILD BRANCH: common
DEFAULT BRANCH: master
Ran
Files 102
Run time 12s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 79.951% (+0.07%) from 79.885%
132420890.1

Pull #361

github

GitHub 
Merge fe5a99b15 into d88fdb7d8
Pull Request #361: Incremental CNF construction in circuit_validator

8745 of 10938 relevant lines covered (79.95%)

86668.64 hits per line

Source Files on job 132420890.1