Add arbtest #63
Merged
Add arbtest #63
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
yancyribbens
force-pushed
the
add-arbtest
branch
3 times, most recently
from
97d7b0d to
4526787
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
8 times, most recently
from
58cba05 to
8b6c8a4
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
8 times, most recently
from
d3af7a8 to
7c9b209
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
10 times, most recently
from
6a309a0 to
11fb92c
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
6 times, most recently
from
99c7dec to
c049721
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
7 times, most recently
from
fe55a4c to
23f5186
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
2 times, most recently
from
d9cc49b to
ab08bb8
Compare
|
Set maximum pool size to 20 since I had a problem where arbitrary pool size caused cargo to time out after 60 secounds |
yancyribbens
force-pushed
the
add-arbtest
branch
from
01ed2e4 to
e018f80
Compare
yancyribbens
force-pushed
the
add-arbtest
branch
from
e018f80 to
270d89b
Compare
|
I have been running the proptests locally for the last 150 days without error. Merging. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds proptests using arbtest to test the correctness of the solutions provided by the SRD and BnB search algos. I use the dep exhaustigen to build all possible solutions and then run SRD or BnB and compare the results to show that the correct solution is found. Also, BnB contains a few proptest where a UTXO pool is randonly generated, and either one or many of the UTXOs are selected as a target with the assertion that BnB will find those UTXOS as the solution while searching.