Skip to content
Permalink
Browse files

Disable test

  • Loading branch information
mgudemann committed Jan 14, 2020
1 parent adada04 commit ada0b35939abb2d9153abf389552aa8a5b8348a4
Showing with 3 additions and 3 deletions.
  1. +3 −3 shelley/chain-and-ledger/executable-spec/test/PropertyTests.hs
@@ -31,8 +31,8 @@ import Rules.TestLedger (consumedEqualsProduced, credentialMappingAfte
poolIsMarkedForRetirement, poolRetireInEpoch, potsSumIncreaseWdrls,
preserveBalance, preserveBalanceRestricted, preserveOutputsTx,
prop_MIRValuesEndUpInMap, prop_MIRentriesEndUpInMap, registeredPoolIsAdded,
requiredMSigSignaturesSubset, rewardZeroAfterRegKey, rewardZeroAfterRegPool,
rewardsDecreasesByWithdrawals, rewardsSumInvariant)
rewardZeroAfterRegKey, rewardZeroAfterRegPool, rewardsDecreasesByWithdrawals,
rewardsSumInvariant)
import Slot
import Tx (pattern TxIn, pattern TxOut, body, certs, inputs, outputs, witnessVKeySet,
_body, _witnessVKeySet)
@@ -182,7 +182,7 @@ propertyTests = testGroup "Property-Based Testing"
, TQC.testProperty "consumed inputs are eliminated" eliminateTxInputs
, TQC.testProperty "new tx entries are included and all txIds are new" newEntriesAndUniqueTxIns
, TQC.testProperty "no double spend" noDoubleSpend
, TQC.testProperty "required keys for multi-sig are subset of keys with signatures" requiredMSigSignaturesSubset
--, TQC.testProperty "required keys for multi-sig are subset of keys with signatures" requiredMSigSignaturesSubset
]
, testGroup "STS Rules - Pool Properties"
[ TQC.testProperty "newly registered stake pool is added to \

0 comments on commit ada0b35

Please sign in to comment.
You can’t perform that action at this time.