Stack Overflow
Stack Overflow

Questions tagged [triq]

Triq is a pure Erlang implementation of the QuickCheck style of testing.

Triq (pronounced "Trick Check") is a free alternative to QuviQ eqc. Triq's API is modelled closely after eqc, so I recommend their tutorials and slides for an introduction to QuickCheck. Notice that QuviQ eqc has many features not found in triq, but it is open source licensed under the Apache license. For instance, eqc has features for reporting, management, probably a much better shrinking mechanism, cool C integration, and professional support.

https://github.com/krestenkrab/triq

4 questions
1
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.
Andriy Drozdyuk
  • 58,435
  • 50
  • 171
  • 272
1
vote
1 answer

Generating a random rule for property based test

I am using Triq (erlang quickcheck) and I am having trouble generating a set of nice rules for my program. What I want to generate are things that looks like this: A -> B where I would like to provide A and the size of B, with latter not having any…
Andriy Drozdyuk
  • 58,435
  • 50
  • 171
  • 272
1
vote
1 answer

How to get a sample of a generator?

I'm using Triq 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("triq/include/triq.hrl"). -export([valid_type_gen/1]). valid_type_gen() ->…
Andriy Drozdyuk
  • 58,435
  • 50
  • 171
  • 272
1
vote
1 answer

Prevent eunit from timing out when running Triq tests

How can I change the timeout for the eunit in rebar3 config? My eunit runner is timing out when I run property-based Triq tests: ===> Verifying dependencies... ===> Compiling ierminer ===> Performing EUnit tests... Pending: …
Andriy Drozdyuk
  • 58,435
  • 50
  • 171
  • 272