Skip to content

Issues: proper-testing/proper

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.

Sign up for GitHub

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

36 Open 79 Closed
36 Open 79 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Limiting the size/complexity of the commands generated by proper_fsm
#315 opened Dec 8, 2023 by rvangraan
1
Rebar3 needs to be recompiled
#314 opened Sep 1, 2023 by kritonios01
Is there a new version to release?
#305 opened Mar 6, 2023 by isaacsanders
3
{'EXIT', {badarg, [{erlang,atom_to_list, ...}]}} in proper_gen_next.erl
#295 opened Jun 2, 2022 by albsch
Atom generator exhausts the atom limit
#290 opened May 24, 2022 by Maria-12648430
4
Generators inside maps
#289 opened Mar 25, 2022 by lbueso
1
proper_transformer has unfavorable behavior for fine-grained compile dependencies
#288 opened Mar 14, 2022 by TheGeorge
4
{var,2} instead of the correct variable during shrink
#286 opened Jan 10, 2022 by lhoguin
New version and hex package
#257 opened Dec 17, 2020 by michalwski
13
PropEr should use printer.
#246 opened Apr 23, 2020 by kostis
2
PropEr map() generators
#238 opened Apr 6, 2020 by kostis
run_parallel_commands doesn't handle exceptions in commands the same way run_commands does
#224 opened Mar 25, 2020 by x4lldux
6
{'EXIT', {badarg, [{unicode,characters_to_binary, ...}]}} in proper_gen_next.erl
#190 opened Mar 1, 2019 by NoobsEnslaver
@TheGeorge
Shrinking for statem silently terminates with {error, wrong_type} if os:timestamp/0 is used in a generator
#186 opened Nov 30, 2018 by robertoaloi
3
Use code coverage as a "utility value" for PropEr (quickcheck) to maximize
#159 opened Apr 26, 2018 by fenollp
1
Color printout does not respect TERM
#148 opened Jul 10, 2017 by essen
4
Generated functions crash in processes
#135 opened Jan 27, 2017 by ten0s
2
Need fuzzy preconditions
#134 opened Jan 2, 2017 by ijt
1
Failing call sequences are not pretty printed
#132 opened Jan 2, 2017 by ijt
Cryptic error messages about postconditions
#131 opened Jan 2, 2017 by ijt
Treat non-boolean return value as failed test case
#130 opened Nov 21, 2016 by josefs
5
Wrong arguments passed to generated command
#126 opened Jun 22, 2016 by michalwski
7
Internal support for maps
#118 opened Apr 3, 2016 by fenollp
Integrate with code coverage?
#113 opened Feb 12, 2016 by linearregression
2
Question about using proper with Elixir
#112 opened Feb 1, 2016 by imetallica
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.