diff --git a/plutus-use-cases/test/Spec/GameStateMachine.hs b/plutus-use-cases/test/Spec/GameStateMachine.hs index 1c703c93a1..682d6381f4 100644 --- a/plutus-use-cases/test/Spec/GameStateMachine.hs +++ b/plutus-use-cases/test/Spec/GameStateMachine.hs @@ -59,6 +59,7 @@ import Plutus.Contract.Test.ContractModel.CrashTolerance import Plutus.Contract.Test.Coverage import Plutus.Contracts.GameStateMachine as G hiding (Guess) import Plutus.Trace.Emulator as Trace +import PlutusTx qualified import PlutusTx.Coverage gameParam :: G.GameParam @@ -340,8 +341,7 @@ tests = .&&. walletFundsChange w1 (Ada.toValue (-2_000_000) <> Ada.adaValueOf (-8))) failTrace - -- TODO: turn this on again when reproducibility issue in core is fixed - -- , goldenPir "test/Spec/gameStateMachine.pir" $$(PlutusTx.compile [|| mkValidator ||]) + , goldenPir "test/Spec/gameStateMachine.pir" $$(PlutusTx.compile [|| mkValidator ||]) , HUnit.testCaseSteps "script size is reasonable" $ \step -> reasonable' step (Scripts.validatorScript $ G.typedValidator gameParam) 49000 diff --git a/plutus-use-cases/test/Spec/Governance.hs b/plutus-use-cases/test/Spec/Governance.hs index 3b05e22e44..70760308dc 100644 --- a/plutus-use-cases/test/Spec/Governance.hs +++ b/plutus-use-cases/test/Spec/Governance.hs @@ -23,6 +23,7 @@ import Plutus.Contract.Test import Plutus.Contracts.Governance qualified as Gov import Plutus.Trace.Emulator (EmulatorTrace) import Plutus.Trace.Emulator qualified as Trace +import PlutusTx qualified import Test.Tasty (TestTree, testGroup) import Test.Tasty.HUnit qualified as HUnit @@ -45,8 +46,7 @@ tests = .&&. dataAtAddress (Scripts.validatorAddress $ Gov.typedValidator params) (maybe False ((== lawv1) . Gov.law) . listToMaybe )) (doVoting 5 5 1) - -- TODO: turn this on again when reproducibility issue in core is fixed - -- , goldenPir "test/Spec/governance.pir" $$(PlutusTx.compile [|| Gov.mkValidator ||]) + , goldenPir "test/Spec/governance.pir" $$(PlutusTx.compile [|| Gov.mkValidator ||]) , HUnit.testCase "script size is reasonable" ( reasonable (Scripts.validatorScript $ Gov.typedValidator params) diff --git a/plutus-use-cases/test/Spec/MultiSigStateMachine.hs b/plutus-use-cases/test/Spec/MultiSigStateMachine.hs index 0788ee8dcd..0d40bb0371 100644 --- a/plutus-use-cases/test/Spec/MultiSigStateMachine.hs +++ b/plutus-use-cases/test/Spec/MultiSigStateMachine.hs @@ -23,6 +23,7 @@ import Plutus.Contract.Test import Plutus.Contracts.MultiSigStateMachine qualified as MS import Plutus.Trace.Emulator (EmulatorTrace) import Plutus.Trace.Emulator qualified as Trace +import PlutusTx qualified import Test.Tasty (TestTree, testGroup) import Test.Tasty.HUnit qualified as HUnit @@ -54,8 +55,8 @@ tests = .&&. walletFundsChange w2 (Ada.adaValueOf 10)) (lockProposeSignPay 3 3) - -- TODO: turn this on again when reproducibility issue in core is fixed - -- , goldenPir "test/Spec/multisigStateMachine.pir" $$(PlutusTx.compile [|| MS.mkValidator ||]) + , goldenPir "test/Spec/multisigStateMachine.pir" $$(PlutusTx.compile [|| MS.mkValidator ||]) + , HUnit.testCaseSteps "script size is reasonable" $ \step -> reasonable' step (Scripts.validatorScript $ MS.typedValidator params) 51000 ]