cardano-diffusion-sim-tests
Ouroboros.Network.Testnet
IOSim
Tx Submission
all transactions: FAIL (3.51s)
*** Failed! Falsified (after 1 test):
ArbTxDecisionPolicy (TxDecisionPolicy {maxNumTxIdsToRequest = NumTxIdsToReq 1, maxUnacknowledgedTxIds = NumTxIdsToReq 1, txsSizeInflightPerPeer = SizeInBytes 1, maxTxsSizeInflight = SizeInBytes 1, txInflightMultiplicity = 1, bufferedTxsMinLifetime = 0.714349252569s, scoreRate = 0.45552676923314994, scoreMax = 393.3196795553454})
NonEmpty {getNonEmpty = [WellSizedTx {getTx = Tx {getTxId = -1, getTxSize = SizeInBytes 40638, getTxAdvSize = SizeInBytes 40638, getTxValid = True}}]}
NonEmpty {getNonEmpty = [WellSizedTx {getTx = Tx {getTxId = 1, getTxSize = SizeInBytes 20771, getTxAdvSize = SizeInBytes 20771, getTxValid = False}}]}
accepted txids map: fromList [(TestAddress IPAddr (read "0.0.0.0") 0,[431]),(TestAddress IPAddr (read "0.0.0.1") 0,[330])]
A: unique txs: [Tx {getTxId = 330, getTxSize = SizeInBytes 40638, getTxAdvSize = SizeInBytes 40638, getTxValid = True}]
A: valid transactions that should be accepted: [330]
B: unique txs: [Tx {getTxId = 431, getTxSize = SizeInBytes 20771, getTxAdvSize = SizeInBytes 20771, getTxValid = False}]
B: valid transactions that should be accepted: []
0.0.0.0
[431] /= []
Use --quickcheck-replay="(SMGen 3454482091593307707 6726303738207323001,0)" to reproduce.
