WIP

IntersectMBO · May 3, 2024 · 53cd444 · 53cd444
1 parent 572b6fd
commit 53cd444
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Conway.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Conway.hs
@@ -290,7 +290,7 @@ instance
 
   stateSpec _ = utxoStateSpec
 
-  signalSpec _ env st = utxoTxSpec env st <> constrained agdaConstraints
+  signalSpec _ env st = utxoTxSpec env st -- <> constrained agdaConstraints
     where
       agdaConstraints :: Term fn (AlonzoTx Conway) -> Pred fn
       agdaConstraints tx = match @fn tx $ \txBody _ _ _ ->

diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/Spec/Conway.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/Spec/Conway.hs
@@ -14,7 +14,7 @@ import Test.Cardano.Ledger.Imp.Common
 
 spec :: Spec
 spec = describe "Conway conformance tests" $ do
-  xprop "UTXO" $ conformsToImpl @"UTXO" @ConwayFn @Conway
+  prop "UTXO" $ conformsToImpl @"UTXO" @ConwayFn @Conway
   prop "GOV" $ conformsToImpl @"GOV" @ConwayFn @Conway
   describe "Generators" $ do
     let