Questions tagged [proper]

PropEr is property-based testing tool in Erlang, similar Quickcheck in Haskell.

PropEr is a tool for the automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang's type language, and can also be used for the model-based random testing of stateful systems.

http://proper.softlab.ntua.gr/

2 questions

vote

1 answer

In Erlang's PropEr, how to get a sample of a generator?

I'm using PropEr to write my property based test. How can I see what kind of data my generator produces? Let's say I have the following generator: -module(my). -include_lib("proper/include/proper.hrl"). -export([valid_type_gen/0]). valid_type_gen()…

erlang property-based-testing proper

asked Apr 07 '16 at 12:29

aronisstav

7,755
5
23
48

vote

1 answer

?SUCHTHAT vs ?IMPLIES in quickcheck

In Triq, PropEr, Quickcheck in Erlang what is the difference between using a ?SUCHTHAT property and the ?IMPLIES? From what understand they are both specializations of the values produced by generators.

erlang quickcheck triq proper

asked Apr 07 '16 at 01:02

Andriy Drozdyuk

58,435
50
171
272