# Property-based testing for Bitcoin Core

**URL:** <https://delvingbitcoin.org/t/property-based-testing-for-bitcoin-core/640>\
**Category:** Implementation\
**Tags:** bitcoin-core\
**Created:** [March 5, 2024, 2:28pm UTC](https://delvingbitcoin.org/t/property-based-testing-for-bitcoin-core/640 "2024-03-05T14:28:23Z")\
**Posts on this page:** 1\
**Showing post:** 7

<div class="post-metadata">

**Author:** ![Chris\_Stewart\_5](https://delvingbitcoin.org/user_avatar/delvingbitcoin.org/chris_stewart_5/32/296_2.png) [@Chris\_Stewart\_5](https://delvingbitcoin.org/u/Chris_Stewart_5)\
**Post date:** [March 7, 2024, 3:59pm UTC](https://delvingbitcoin.org/t/property-based-testing-for-bitcoin-core/640/7 "2024-03-07T15:59:47Z")

</div>

That said, shameless plug i think the 64bit arithmetic work would be a great place to start with property based testing. Its “simple” in the sense that we are just doing arithmetic. You could even test the existing opcodes (`OP_ADD`, `OP_SUB`…) if you don’t want to speculate on this soft fork getting activated, but want to test something straightforward.

---

_[View the full topic](https://delvingbitcoin.org/t/property-based-testing-for-bitcoin-core/640)._