propcheck

propcheck copied to clipboard

Handle configuration in a consistent manner

10

Currently we have several approaches for handling configuration, mostly for historical reasons. This is ugly and should refactored to a consistent, logical approach. Sources of configuration are: * #114 *...

alfert

Multiple forall in a property result in unexpected behaviour

4

When multiple `forall` or similar properties are used within a `property`, only the result of the last `forall` is relevant to the test result: ```elixir property "multiple forall" do forall...

evnu

Statistics for targeted properties

3

The heat map is interesting thingy. It is a visualisation of the statistics usually done by `collect()` and its friends, but which cannot be used by PropEr's TPBT implementation. Also...

alfert

Implement "disjunction"

1

There is `conjunction`, which is helpful, but there is no corresponding function generalizing `or`.

turion

Strange behavior when adding code after forall

2

I encountered this strange behaviour today. Given the following code: ``` property "some property" do forall i

pallix

Grammar Update statem_dsl.ex

1

simonelnahas

** (FunctionClauseError) no function clause matching in :proper_arith.rand_choose/1

3

Hi, I'm seeing this error `** (FunctionClauseError) no function clause matching in :proper_arith.rand_choose/1` while running my test. I assume the problem is one of my generators are failing but there...

coop

Set proper to the official 1.4 release

11

alfert

Propcheck gives a warning when run on elixir 1.17

2

I am running propcheck version 1.4 with elixir 1.17 and am getting this warning ``` warning: ExUnit.Case.register_test/4 is deprecated. Use register_test/6 instead │ 5 │ property "my property", [], _context...

zkessin