You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's probably an off by one error: the contract makes 11 Call actions, while we only have enough ada for 10. It should be checked by the precondition, I'm fixing it.
Summary
The “Quickcheck ContractModel” test case of Spec.Prism fails.
There might be other failing test scenarios, but here’s how to reproduce the problem.
Steps to reproduce the behavior
Use the following test case:
Actual Result
Expected Result
Successful test case
Describe the approach you would take to fix this
No response
System info
plutus-apps: 49a3c5a
The text was updated successfully, but these errors were encountered: