Issues

• ?LET macro throws 'proper_transformer' exception when including a markdown file with -moduledoc.

  proper-testing/proper#330 · Filter by author sthames42 opened on Jun 25, 2026

• unsupported_type char

  proper-testing/proper#329 · Filter by author KunaPrime opened on Jun 5, 2026

• ?LET macro interferes with resize combinator in recursive generators

  proper-testing/proper#323 · Filter by author lbueso opened on Oct 28, 2025

• Online resources about testing time-dependant code

  proper-testing/proper#321 · Filter by author intjelic opened on Apr 2, 2025
  1

• I'd like to be able to use proper_types:is_inst/2 for RPC schema validation

  proper-testing/proper#317 · Filter by author romanr321 opened on Jan 2, 2025
  1

• Limiting the size/complexity of the commands generated by proper_fsm

  proper-testing/proper#315 · Filter by author rvangraan opened on Dec 8, 2023
  1

• Rebar3 needs to be recompiled

  proper-testing/proper#314 · Filter by author kritonios01 opened on Sep 1, 2023

• {'EXIT', {badarg, [{erlang,atom_to_list, ...}]}} in proper_gen_next.erl

  proper-testing/proper#295 · Filter by author albsch opened on Jun 2, 2022

• Atom generator exhausts the atom limit

  proper-testing/proper#290 · Filter by author Maria-12648430 opened on May 24, 2022
  4

• Generators inside maps

  proper-testing/proper#289 · Filter by author lbueso opened on Mar 25, 2022

• proper_transformer has unfavorable behavior for fine-grained compile dependencies

  proper-testing/proper#288 · Filter by author TheGeorge opened on Mar 14, 2022
  4

• {var,2} instead of the correct variable during shrink

  proper-testing/proper#286 · Filter by author lhoguin opened on Jan 10, 2022

• PropEr should use printer.

  proper-testing/proper#246 · Filter by author kostis opened on Apr 23, 2020
  2

• PropEr map() generators

  proper-testing/proper#238 · Filter by author kostis opened on Apr 6, 2020

• run_parallel_commands doesn't handle exceptions in commands the same way run_commands does

  proper-testing/proper#224 · Filter by author x4lldux opened on Mar 25, 2020
  6

• {'EXIT', {badarg, [{unicode,characters_to_binary, ...}]}} in proper_gen_next.erl

  proper-testing/proper#190 · Filter by author NoobsEnslaver opened on Mar 1, 2019
  

• Shrinking for statem silently terminates with {error, wrong_type} if os:timestamp/0 is used in a generator

  proper-testing/proper#186 · Filter by author robertoaloi opened on Nov 30, 2018
  3

• Use code coverage as a "utility value" for PropEr (quickcheck) to maximize

  proper-testing/proper#159 · Filter by author fenollp opened on Apr 26, 2018
  1

• Color printout does not respect TERM

  proper-testing/proper#148 · Filter by author essen opened on Jul 10, 2017
  4

• Generated functions crash in processes

  proper-testing/proper#135 · Filter by author ten0s opened on Jan 27, 2017
  2

• Need fuzzy preconditions

  proper-testing/proper#134 · Filter by author ijt opened on Jan 2, 2017
  1

• Failing call sequences are not pretty printed

  proper-testing/proper#132 · Filter by author ijt opened on Jan 2, 2017

• Cryptic error messages about postconditions

  proper-testing/proper#131 · Filter by author ijt opened on Jan 2, 2017

• Treat non-boolean return value as failed test case

  proper-testing/proper#130 · Filter by author josefs opened on Nov 21, 2016
  5

• Wrong arguments passed to generated command

  proper-testing/proper#126 · Filter by author michalwski opened on Jun 22, 2016
  7