propcheck

propcheck copied to clipboard

When using parallel execution, the counter-example is a singleton list with a single 2-tuple containing the sequential prefix and the parallel executions. But the code was expecting it to be...

thalesmg

Propcheck breaking Oban tests

1

Found something strange, when I add propcheck to our project a bunch of tests that depend on Oban stop working. Has anyone else seen anything like this and know how...

zkessin

No function clause when trying to generate `pos_integer()`

12

## Version Propcheck v 1.4.1 ## Example Code ~~~elixir let count Enum.to_list() end ~~~ ## Error ~~~ssh ** (FunctionClauseError) no function clause matching in :proper_arith.rand_non_neg_float/1 The following arguments were given...

adkron

[WIP] Allow ExUnit assert function for forall return

6

Issue: https://github.com/alfert/propcheck/issues/187 Currently, propcheck `forall` function requires a boolean value return, which bit inconvenient when using ExUnit assert function. This PR fixes the issue and allow the assert function with...

drselump14

Possibility to give forall a cleanup hook?

3

Often, I encounter the following bug in my tests: ``` property "test database", [], ctx do forall row_to_be_inserted = %schema{}

turion

Why do properties have to return boolean results?

1

Hello, I am wondering why properties have to return a boolean result instead of a _truthy_ result like regular ExUnit assertions. As far as I know, it means that I...

TylerPachal

There’s a repository targeted at comparing shrinking behaviour of various PBT libraries: https://github.com/jlink/shrinking-challenge Would be great to have propcheck therein. We’re happy to take PRs.

jlink

Propcheck options like `numtests` not considered until performing `mix propcheck.clean`

1

# Short description Adding the `numtests: some_number` option to a `property` has no effect until `MIX_ENV=test mix propcheck.clean` is run. ## To reproduce 1. Write a test that fails when...

turion

Support Proper's Deriving of Types

6

What would be required to be able to derive types as the Erlang implementation does?

zkessin

Concurency testing improvments

7

@alfert please fill this in with your proposal mentioned in #147 I just wanted to share things I've gather about this topic.

x4lldux