Page MenuHomePhabricator
Differential D4075

Integration of property based testing into Bitcoin Core
AbandonedPublic
Actions

Authored by fpelliccioni on Sep 13 2019, 20:23.

Details

Reviewers
Fabien
deadalnix
Group Reviewers
Restricted Project
Summary

This PR is a subset of the changes in #8469. It's meant to be easier to review. This PR contains all of the build instructions needed for travis to pass. It includes one property call key_properties.cpp along with a generator file called crypto_gen.{h,cpp}.

Backport of Bitcoin Core PR12775
https://github.com/bitcoin/bitcoin/pull/12775

Test Plan

I left it untested, due to the difficulty of it.

Diff Detail

Repository
rABC Bitcoin ABC
Branch
feature-backport-eea87ef53
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 7451
Build 12945: Bitcoin ABC Buildbot (legacy)
Build 12944: arc lint + arc unit

Revision Contents
Changeset List

PathSize
22 lines
depends/
7 lines
1 line
packages/
2 lines
18 lines
src/
12 lines
test/
gen/
50 lines
19 lines
49 lines

Diff 11300

View Options

configure.ac

Loading...
View Options

depends/Makefile

Loading...
View Options

depends/README.md

Loading...
View Options

depends/packages/packages.mk

Loading...
View Options

depends/packages/rapidcheck.mk

Loading...
View Options

src/Makefile.test.include

Loading...
View Options

src/test/gen/crypto_gen.h

Loading...
View Options

src/test/gen/crypto_gen.cpp

Loading...
View Options

src/test/key_properties.cpp

Loading...