Skip to content

Enforce that TxValidityRange is finite when using pafter or pbefore #2

Description

@colll78

passert cfg "Auction has finished" $ pafter # close # common.range

Currently, pafter will succeed when it should fail if the validity range of that end is infinite. This is due to a bug that has long gone undiscovered in Plutarch. (you can see it was addressed recently in this commit). To avoid having to update Plutarch, you can simply check that the validity range is finite.

See here for an example of how we did this with similar Plutarch version.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions