proper-testing / proper

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

http://proper-testing.github.io

proper-testing/proper Issues

Is there a new version to release?
Updated 6 months ago3
Limiting the size/complexity of the commands generated by proper_fsm
Updated 9 months ago1
Rebar3 needs to be recompiled
Updated a year ago
Atom generator exhausts the atom limit
Updated 2 years ago4
adts_test_ in test/proper_tests.erl times out on slower arches
Closed 2 years ago6
{'EXIT', {badarg, [{erlang,atom_to_list, ...}]}} in proper_gen_next.erl
Updated 2 years ago
Substitute uses of `slave` with `peer`
Closed 2 years ago1
Generators inside maps
Updated 2 years ago
`proper_transformer` has unfavorable behavior for fine-grained compile dependencies
Updated 3 years ago4
{var,2} instead of the correct variable during shrink
Updated 3 years ago
Add more detailed installation instructions with Homebrew
Closed 3 years ago9
New version and hex package
Updated 3 years ago13
Arguments shrinking is not working in stateful models.
Closed 3 years ago2
use previous return value as parameter of new command in new state
Closed 3 years ago6
Obtaining a PropEr rebar3
Closed 3 years ago1
Add proper examples to shrinking challenge
Closed 3 years ago
Generate a binary of variable size
Closed 3 years ago2
Target server should update process dictionary
Closed 4 years ago
PropEr should use `printer`.
Updated 4 years ago2
PropEr map() generators
Updated 4 years ago
No Shrink in TPBT
Closed 4 years ago
more_commands/2 does not generate more commands
Closed 4 years ago2
run_parallel_commands doesn't handle exceptions in commands the same way run_commands does
Updated 4 years ago6
Too small numbers produced by range(min, max) generator
Closed 5 years ago7
?FORALL_TARGETED does not work with ?TRAPEXIT
Closed 5 years ago
using proper_types:vector(SomethingNegative, Generator) does not return
Closed 5 years ago2
the 'random' module is deprecated; use the 'rand' module instead
Closed 5 years ago6
Add support for dynamically-sized binary generator
Closed 5 years ago1
Prevent crash when encountering the `map()` type in specs
Closed 5 years ago9
{'EXIT', {badarg, [{unicode,characters_to_binary, ...}]}} in proper_gen_next.erl
Updated 6 years ago
Need fuzzy preconditions
Updated 6 years ago1
Shrinking for statem silently terminates with `{error, wrong_type}` if `os:timestamp/0` is used in a generator
Updated 6 years ago3
proper_tests: max_size_test occasionally fails (but usually passes)
Closed 6 years ago2
Is there a way to end prematurely my StateM test?
Closed 6 years ago4
The `cant_generate` error could include info about the failing constraints
Closed 6 years ago3
`proper_statem` tutorial race condition with stop
Closed 6 years ago1
proper_statem ?FORALL separate Erlang process execution?
Closed 6 years ago5
share state between transition of proper_fsm
Closed 6 years ago1
New Release?
Closed 6 years ago16
Building the docs fails on Fedora Rawhide
Closed 6 years ago1
Color printout does not respect TERM
Updated 6 years ago4
Friendlier search macros?
Closed 6 years ago6
Warning about get_stacktrace/0 on OTP 20
Closed 7 years ago7
Use code coverage as a "utility value" for PropEr (quickcheck) to maximize
Updated 6 years ago1
Generated functions crash in processes
Updated 6 years ago2
Can't use a complex generator as a part of ?LETSHRINK
Closed 8 years ago6
Unit tests fail with proper-1.2+
Closed 7 years ago10
Release v1.2 to Hex?
Closed 7 years ago7
Cryptic error messages about postconditions
Updated 6 years ago
Failing call sequences are not pretty printed
Updated 6 years ago