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

Improve compatibility with proptest #32

Open
6 of 10 tasks
alastairreid opened this issue Sep 13, 2020 · 0 comments
Open
6 of 10 tasks

Improve compatibility with proptest #32

alastairreid opened this issue Sep 13, 2020 · 0 comments
Labels
propverify Related to propverify / proptest

Comments

@alastairreid
Copy link
Contributor

alastairreid commented Sep 13, 2020 •
edited
Loading

Status of proptest feature support. Edit to add to this as gaps are spotted

  • container type support (all? Except hash based)
  • ValueTree (currently replaced by Value)
  • Strategy trait
  • weighting / control over probability distribution
  • deriving procedural macro
  • proptest macro (but only simplest form supported)
  • prop_compose macro
  • Arbitrary trait
  • string regex support (this may be quite hard to support?)
  • prop_assume! macro
@alastairreid alastairreid added the propverify Related to propverify / proptest label Sep 13, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
propverify Related to propverify / proptest
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@alastairreid