SCP-5124 Added property-based test for new final-balance constraint.

input-output-hk · Mar 15, 2023 · d514bcd · d514bcd
1 parent 4b81ee9
commit d514bcd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/marlowe-test/src/Spec/Marlowe/Plutus/Specification.hs b/marlowe-test/src/Spec/Marlowe/Plutus/Specification.hs
@@ -151,7 +151,7 @@ tests referencePaths =
             ]
         , testGroup "Constraint 6. Output value to script"
             [
-              testProperty "Invalid mismatch between state and script output's value" $ checkValueOutput referencePaths
+              testProperty "Invalid mismatch between expected and actual output to script" $ checkValueOutput referencePaths
             ]
         , testGroup "Constraint 7. Input state"
             [