Skip to content

Commit

Permalink
TOSQUASH 2 spaces, not 1
Browse files Browse the repository at this point in the history
  • Loading branch information
nfrisby committed Jan 14, 2021
1 parent 82c882a commit a8e8d09
Showing 1 changed file with 5 additions and 5 deletions.
Expand Up @@ -234,14 +234,14 @@ prop_pure_invalidTxsNeverAdded setup@TestSetupWithTxs {..} =
withInternalState testSetup $
\mpArgs internalState _ledgerState ->
let MempoolSnapshot { snapshotTxs = ta } = implSnapshotFromIS
internalState
internalState
txsInMempoolBefore = map fst ta
(_res, internalState') = runTryAddTxs
mpArgs
internalState
(allTxs setup)
mpArgs
internalState
(allTxs setup)
MempoolSnapshot { snapshotTxs = tb } = implSnapshotFromIS
internalState'
internalState'
txsInMempoolAfter = map fst tb
in counterexample (ppTxs txs) $ conjoin
-- Check for each transaction in the mempool (ignoring those already
Expand Down

0 comments on commit a8e8d09

Please sign in to comment.