Skip to content
This repository was archived by the owner on Dec 2, 2024. It is now read-only.

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

Draft
koslambrou wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions plutus-use-cases/test/Spec/GameStateMachine.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions plutus-use-cases/test/Spec/Governance.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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)
Expand Down
5 changes: 3 additions & 2 deletions plutus-use-cases/test/Spec/MultiSigStateMachine.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
]

Expand Down