1
100%
master: 100%

Ran 27 Feb 2017 03:25AM UTC

Files 15

Run time 0s

Badge

Embed ▾

Committed 27 Feb 2017 03:07AM UTC coverage: 100.0% (+100.0%) from 0.0%

Job # 60.1

Build Type

Pull #15

travis-ci

Committed by

web-flow

Commit Message

Introduce quickcheck testing

This commit introduces the quickcheck library into the project,
testing the word/is_* traits. Quickcheck is very helpful for finding
edge-case bugs in complex algorithms -- of which the is_* are not --
so this commit exists as more of a demonstration of technique. Macros
are used to generate test code over built-in integer types and slower
but "obviously correct" algorithms are tested against the production
quality code.

I'd like to use bitwise in a compact datastructure project which I
expect to QC and fuzz like crazy. To that end I thought it wise to
introduce QC'ing directly into bitwise and, if you're open to it,
fuzzing as well via [cargo-fuzz](https://github.com/rust-fuzz/cargo-fuzz)
in a latter commit. QC testing is less efficient at detecting bugs
compared to exhaustive testing where exhaustive testing is applicable
but _pretty good_ at searching the haystack in large domains like u64.
This can be further improved with branch-directed fuzzing.

Signed-off-by: Brian L. Troutwine <brian@troutwine.us>

Pull Request Pull Request #15: Introduce quickcheck testing

Run Details

535 of 535 relevant lines covered (100.0%)

5.15 hits per line

gnzlbg / bitwise / 60 / 1
100%
master: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 60.1

gnzlbg / bitwise / 60 / 1 100% master: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 60.1

gnzlbg / bitwise / 60 / 1
100%
master: 100%

README BADGES
x