open-quantum-safe / liboqs / 28263059952
82%
main: 82%

LAST BUILD BRANCH: deliverable/cbmc-owned-code
DEFAULT BRANCH: main
Ran
Jobs 3
Files 2928
Run time 3min
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: 82.291%. First build
28263059952

Pull #2480

github

web-flow 
Merge 3ddfc11c4 into aa294f56b
Pull Request #2480: Add bounded CBMC proofs for liboqs-owned code

210173 of 255401 relevant lines covered (82.29%)

8120509.35 hits per line

Jobs
ID Job ID Ran Files Coverage
1 x64-distbuild - 28263059952.1 2391
56.92
 GitHub Action Run
2 x64-generic - 28263059952.2 1301
85.49
 GitHub Action Run
3 arm64-distbuild - 28263059952.3 1837
60.79
 GitHub Action Run
Source Files on build 28263059952