Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rewrite property based tests using fast-check instead of jsverify #354

Open
dubzzz opened this issue Jun 15, 2021 · 0 comments
Open

Rewrite property based tests using fast-check instead of jsverify #354

dubzzz opened this issue Jun 15, 2021 · 0 comments

Comments

@dubzzz
Copy link

dubzzz commented Jun 15, 2021

👋 Hello,

This issue is mostly opened as a suggestion.

This project relies on jsverify, a library that is not maintained anymore. The suggestion is to migrate the tests written with jsverify to fast-check.

Context
jsverify's owner stopped the maintenance of the library more than a year ago. In addition, the last real commit to jsverify was on the 6th of September 2019.

Benefits of fast-check over jsverify

  1. You don't need to define unmapping fuctions on your calls to map (smap in jsverify).
  2. The arbitraries are able to find more bugs. See attached PR
  3. There is a built-in way to handle commands.
  4. Maintained.

I might have opened the PR a bit early but here is the PR: #353

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant