Changed the raising of BadInputsUTxO to be less expensive.

IntersectMBO · Oct 27, 2020 · 99f92f2 · 99f92f2
1 parent 859daca
commit 99f92f2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs
@@ -14,6 +14,7 @@
 
 module Shelley.Spec.Ledger.STS.Utxo
   ( UTXO,
+    unUTxO,
     UtxoEnv (..),
     UtxoPredicateFailure (..),
     PredicateFailure,
@@ -285,7 +286,8 @@ utxoInductive = do
       txFee = _txfee txb
   minFee <= txFee ?! FeeTooSmallUTxO minFee txFee
 
-  eval (txins txb ⊆ dom utxo) ?! BadInputsUTxO (txins txb `Set.difference` eval (dom utxo))
+  eval (txins txb ⊆ dom utxo) ?! BadInputsUTxO (Set.filter (\ x -> not(Map.member x (unUTxO utxo))) (txins txb))
+                            -- (txins txb `Set.difference` eval (dom utxo))
 
   ni <- liftSTS $ asks networkId
   let addrsWrongNetwork =