Re-activated the failing goldenPir tests for plutus-use-cases

IntersectMBO · Jun 9, 2022 · 4ccbe73 · 4ccbe73
1 parent ed54a2b
commit 4ccbe73
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 6 deletions.
diff --git a/plutus-use-cases/test/Spec/GameStateMachine.hs b/plutus-use-cases/test/Spec/GameStateMachine.hs
@@ -59,6 +59,7 @@ import Plutus.Contract.Test.Coverage
 import Plutus.Contracts.GameStateMachine as G hiding (Guess)
 import Plutus.Contracts.GameStateMachine.Coverage
 import Plutus.Trace.Emulator as Trace
+import PlutusTx qualified
 import PlutusTx.Coverage
 
 gameParam :: G.GameParam
@@ -339,8 +340,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
@@ -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 PlutusTx.Prelude (BuiltinByteString, fromBuiltin)
 
 import Test.Tasty (TestTree, testGroup)
@@ -46,8 +47,8 @@ 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)
                                   23000

diff --git 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
     ]