MBV Property Based Testing -- Do Not Merge

configure.ac

@@ -833,6 +833,14 @@ if test x$use_tests = xyes; then
   fi
 fi
 
+if test x$use_tests = xyes; then
+  dnl check for rapidcheck
+  AC_CHECK_HEADERS(
+    [rapidcheck.h],
+    [AC_CHECK_LIB([rapidcheck], [main],[], [])],
+    [])
+fi
+
 if test x$use_boost = xyes; then
 
 BOOST_LIBS="$BOOST_LDFLAGS $BOOST_SYSTEM_LIB $BOOST_FILESYSTEM_LIB $BOOST_PROGRAM_OPTIONS_LIB $BOOST_THREAD_LIB $BOOST_CHRONO_LIB"

depends/packages/packages.mk

@@ -1,4 +1,4 @@
-packages:=boost openssl libevent zeromq
+packages:=boost openssl libevent zeromq rapidcheck
 native_packages := native_ccache
 
 qt_native_packages = native_protobuf

depends/packages/rapidcheck.mk

@@ -0,0 +1,13 @@
+package=rapidcheck
+$(package)_version=f5d3afa
+$(package)_download_path=https://bitcoin-10596.firebaseapp.com/depends
+$(package)_file_name=$(package)-$($(package)_version).tar.gz
+$(package)_sha256_hash=78cdb8d0185b602e32e66f4e5d1a6ceec1f801dd9641b8a9456c386b1eaaf0e5
+
+define $(package)_config_cmds
+  cmake -DCMAKE_INSTALL_PREFIX=$(build_prefix)
+endef
+
+define $(package)_build_cmds
+  $(MAKE)
+endef

doc/bips.md

@@ -33,5 +33,5 @@ BIPs that are implemented by Bitcoin Core (up-to-date up to **v0.13.0**):
 * [`BIP 145`](https://github.com/bitcoin/bips/blob/master/bip-0145.mediawiki): getblocktemplate updates for Segregated Witness as of **v0.13.0** ([PR 8149](https://github.com/bitcoin/bitcoin/pull/8149)).
 * [`BIP 147`](https://github.com/bitcoin/bips/blob/master/bip-0147.mediawiki): NULLDUMMY softfork as of **v0.13.1** ([PR 8636](https://github.com/bitcoin/bitcoin/pull/8636) and [PR 8937](https://github.com/bitcoin/bitcoin/pull/8937)).
 * [`BIP 152`](https://github.com/bitcoin/bips/blob/master/bip-0152.mediawiki): Compact block transfer and related optimizations are used as of **v0.13.0** ([PR 8068](https://github.com/bitcoin/bitcoin/pull/8068)).
-* [`BIP 159`](https://github.com/bitcoin/bips/blob/master/bip-0159.mediawiki): NODE_NETWORK_LIMITED service bit [signaling only] is supported as of **v0.16.0** ([PR 10740](https://github.com/bitcoin/bitcoin/pull/10740)).
+* [`BIP 159`](https://github.com/bitcoin/bips/blob/master/bip-0159.mediawiki): NODE_NETWORK_LIMITED service bit [signaling only] is supported as of **v0.16.0** ([PR 11740](https://github.com/bitcoin/bitcoin/pull/11740)).
 * [`BIP 176`](https://github.com/bitcoin/bips/blob/master/bip-0176.mediawiki): Bits Denomination [QT only] is supported as of **v0.16.0** ([PR 12035](https://github.com/bitcoin/bitcoin/pull/12035)).

src/Makefile.am

@@ -307,6 +307,7 @@ libbitcoin_consensus_a_SOURCES = \
   script/script_error.cpp \
   script/script_error.h \
   serialize.h \
+  support/cleanse.cpp \
   tinyformat.h \
   uint256.cpp \
   uint256.h \

src/Makefile.test.include

@@ -81,11 +81,30 @@ BITCOIN_TESTS =\
   test/timedata_tests.cpp \
   test/torcontrol_tests.cpp \
   test/transaction_tests.cpp \
-  test/txvalidation_tests.cpp \
   test/txvalidationcache_tests.cpp \
   test/versionbits_tests.cpp \
   test/uint256_tests.cpp \
-  test/util_tests.cpp
+  test/util_tests.cpp \
+  test/gen/crypto_gen.cpp \
+  test/gen/crypto_gen.h \
+  test/gen/script_gen.cpp \
+  test/gen/script_gen.h \
+  test/gen/transaction_gen.cpp \
+  test/gen/transaction_gen.h \
+  test/gen/block_gen.cpp \
+  test/gen/block_gen.h \
+  test/gen/merkle_gen.cpp \
+  test/gen/merkle_gen.h \
+  test/gen/merkleblock_gen.h \
+  test/gen/bloom_gen.cpp \
+  test/gen/bloom_gen.h \
+  test/key_properties.cpp \
+  test/script_properties.cpp \
+  test/block_properties.cpp \
+  test/merkle_properties.cpp \
+  test/merkleblock_properties.cpp \
+  test/bloom_properties.cpp \
+  test/transaction_properties.cpp
 
 if ENABLE_WALLET
 BITCOIN_TESTS += \