nw-pbt-erlang-elixir
Installation
SKILL.md
PBT Erlang/Elixir -- PropEr, PropCheck, StreamData
Framework Selection
| Framework | Language | Stateful | Parallel | Choose When |
|---|---|---|---|---|
| PropEr | Erlang | Yes | Yes (linearizability) | Erlang projects needing full stateful/parallel testing |
| PropCheck | Elixir | Yes (via PropEr) | Yes (via PropEr) | Elixir projects needing stateful/parallel testing |
| StreamData | Elixir | No | No | Elixir projects needing only stateless PBT |
PropCheck wraps PropEr with Elixir syntax. StreamData is pure Elixir but lacks stateful testing.
Quick Start
%% PropEr (Erlang)
-include_lib("proper/include/proper.hrl").