diff --git a/test/Spec/Integration.hs b/test/Spec/Integration.hs index d1894e35..27e6bfb6 100644 --- a/test/Spec/Integration.hs +++ b/test/Spec/Integration.hs @@ -42,7 +42,7 @@ import Test.Plutip.Contract ( ) import Test.Plutip.Internal.Types ( ClusterEnv, - FailureReason (CaughtException), + FailureReason (CaughtException, ContractExecutionError), isException, ) import Test.Plutip.LocalCluster (BpiWallet, withConfiguredCluster) @@ -187,11 +187,16 @@ test = , overallBudgetFits 1156006922 2860068 ] , -- regression tests for time <-> slot conversions - assertExecution - "Fails because outside validity interval" - (initAda [100]) - (withContract $ const failingTimeContract) - [shouldFail] + let isValidityError = \case + ContractExecutionError e -> "OutsideValidityIntervalUTxO" `isInfixOf` e + _ -> False + in assertExecution + "Fails because outside validity interval" + (initAda [100]) + (withContract $ const failingTimeContract) + [ shouldFail + , failReasonSatisfies "Execution error is OutsideValidityIntervalUTxO" isValidityError + ] , assertExecution "Passes validation with exact time range checks" (initAda [100])