Merge pull request #128 from mlabs-haskell/mitch/validity-error-check

`OutsideValidityIntervalUTxO` check

Author: mikekeke

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])