Quickcheck #1

Merged
merged 12 commits into from May 13, 2016

Projects

None yet

2 participants

@badboy
Owner
badboy commented May 12, 2016

No description provided.

added some commits May 12, 2016
@badboy test: Add quickcheck test for round-tripping c0e7b42
@badboy fix: Avoid out-of-bounds indexing
This was found by QuickCheck.
88242ff
@badboy fix: Avoid compression if there is not enough data
This was found by QuickCheck
5b2e815
@badboy fix: Avoid out-of-bounds for reference offset
This was found by quickcheck and by running tests in release mode.
Somehwere the offset seems to wrap and cause a huge value.
6e126d2
@badboy chore(CI): Run quickcheck tests and run tests in release mode
2fc57aa
@badboy badboy closed this May 12, 2016
@badboy badboy reopened this May 12, 2016
added some commits May 12, 2016
@badboy chore(CI): Call additional tests manually
d873f40
@badboy chore(CI): Build native library and quickcheck against lzf-rs
1c26bd7
@badboy chore: Make included files explicit b66386f
@badboy style: Typo fixed a91433e
@badboy feat: Check for exact match, even on errors 62095d3
@badboy test: Quickcheck decompression
7588c8a
@badboy fix: Return early if there is no data
bbe1010
@badboy
Owner
badboy commented May 13, 2016
@not-a-robot
Collaborator

📌 Commit bbe1010 has been approved by badboy

@not-a-robot
Collaborator

⌛️ Testing commit bbe1010 with merge 86edb84...

@not-a-robot not-a-robot added a commit that referenced this pull request May 13, 2016
@not-a-robot not-a-robot Auto merge of #1 - badboy:quickcheck, r=badboy
Quickcheck
86edb84
@not-a-robot
Collaborator

☀️ Test successful - status-travis

@not-a-robot not-a-robot merged commit bbe1010 into master May 13, 2016

3 of 4 checks passed

coverage/coveralls Coverage decreased (-8.2%) to 80.253%
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
homu Test successful
Details
@badboy badboy deleted the quickcheck branch May 13, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment