Skip to content
This repository has been archived by the owner on Jan 9, 2023. It is now read-only.

Update LPE tests to use PQ2.0 #53

Closed
3 tasks
peter-mlabs opened this issue Aug 10, 2022 · 1 comment
Closed
3 tasks

Update LPE tests to use PQ2.0 #53

peter-mlabs opened this issue Aug 10, 2022 · 1 comment

Comments

@peter-mlabs
Copy link
Contributor

peter-mlabs commented Aug 10, 2022 •
edited
Loading

plutarch-quickcheck moved to V2 API types as part of PR plutarch-quickcheck/#26, which also introduces PQ2.0.

PQ2.0 introduces major breaking API changes to PQ, and thus the property tests that were previously written for LPE have been removed in #48. This issue can be resolved by:

  • porting the existing tests over to use PQ2.0.
  • Re-enabling the tests in the cabal file
  • Re-adding the tests to the flake.nix
@peter-mlabs peter-mlabs mentioned this issue Aug 10, 2022
Merged
3 tasks
@peter-mlabs
Copy link
Contributor Author

Closing as moved to notion: https://www.notion.so/liqwid/Update-LPE-tests-to-use-PQ2-0-5dd0df79cd2a469f8a35b02967a99f72

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@peter-mlabs