triq
triq copied to clipboard
krestenkrab
Trifork QuickCheck
src/triq.erl:468: Warning: call to crypto:rand_bytes/1 will fail, since it was removed in 20.0; use crypto:strong_rand_bytes/1
I have a generator that looks like this: ``` erlang token() -> ?SUCHTHAT(B, ?LET(T, list(tchar()), list_to_binary(T)), byte_size(B) > 0). ``` On error, the shrinker always returns `` which is invalid...
See title, random module is deprecated as of Erlang version 19. This gives problems when I try working with it when using for example [ExCheck](https://github.com/parroty/excheck.git): Small excerpt of the error:...
Needed to compile on Erlang 19 (though, of course, the real solution is to fix the warnings).
Is there any documentation of showing that the results are integrated with code coverage? For example, would like to see that the tests will add to coder coverage with unit...
Can releases be git tagged or branch so to avoid pulling form a moving target?
Would it be possible to add a generator for a map type? The shrink and pick function could probably look a lot like the one from tuples..
This project has a few Pull Reqs that are quite old. I would like to suggest a rule that Pull Reqs should be dealt with quickly, be they accepted or...
The `var`s should be evaluated before passed to a postcondition. A minimal example: ``` erlang -module(counter_statem). -include_lib("triq/include/triq.hrl"). -include_lib("triq/include/triq_statem.hrl"). -export([statem_prop/0]). -export([initial_state/0]). -export([command/1]). -export([precondition/2]). -export([next_state/3]). -export([postcondition/3]). statem_prop() -> ?FORALL(Cmds, commands(?MODULE), begin {_,...
In order to match eqc and PropEr syntax, we should support equals/2 and conjunction/1. This is mostly a note for myself to implement them -- neither looks out of my...
