Hacker GitHub

← All repos

proper-testing/proper

View on GitHub ↗ ★ 919 Erlang

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2019-12-26 · latest 2022-01-06

Mentions per year 3 mentions · busiest year 2019 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …For Erlang and Elixir I recommend https://propertesting.com/ book and the PropEr test framework https://github.com/proper-testing/proper . As an example, here is the use of an advanced feature called targeted property based testing:…
    comment by rdtsc · 2022-01-06 · in How programmers make sure that their software is correct
  2. …you listed... Ruby and Python: https://github.com/HypothesisWorks/hypothesis Elixir and Erlang: https://github.com/proper-testing/proper Node and JS: https://jsverify.github.io/ As for real world use-cases, imagine you’re writing a program…
    comment by jkachmar · 2020-06-21 · in Deno will stop using TypeScript
  3. …points to either the model or the system being wrong (which is its own joy/pain to figure out). [0] https://github.com/proper-testing/proper [1] https://propertesting.com/
    comment by mc_ · 2019-12-26 · in In praise of property-based testing