Merge pull request #28 from aerosol/master

Add configurable reporting module

Add configurable reporting module

Merge pull request #24 from KrzysiekJ/rebar-executable

Make the bundled Rebar binary executable

Make the bundled Rebar binary executable

Merge pull request #23 from lemenkov/fix_edoc

Fix error while building edocs

Spec matches actual function

INFO:  Regenerating edocs for triq
./src/triq_dom.erl, function atom/0: at line 797: @spec name does not match.
edoc: skipping source file './src/triq_dom.erl': {'EXIT',error}

Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>

Fix error while building edocs

INFO:  Regenerating edocs for triq
./src/triq_dom.erl, function largeint/0: at line 638: unknown error parsing specification: {638,edoc_parser,
                                      ["syntax error before: ","'.'"]}.
edoc: skipping source file './src/triq_dom.erl': {'EXIT',error}.

Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>

Rebar v 2.6.4

Merge pull request #21 from tuncer/fixup

Fixups for #19

Fixup unused variable

Fixup re-introduced random:X() calls

Merge pull request #19 from tuncer/hlieberman1

First cut of commits from hlieberman

Merge pull request #20 from tuncer/eunit-opt-in

Make EUnit test generation opt-in

Make EUnit test generation opt-in

To automatically generate EUnit tests for properties, you have
to use the following attribute:
-triq(eunit).

triq_autoexport: apply minor whitespace fix

triq_autoexport: apply minor fixes

Merge branch 'bugfixes' of https://gitlab.com/hlieberman/triq into hlieberman1

Merge branch 'add-types' of https://gitlab.com/hlieberman/triq into hlieberman1

Merge pull request #18 from tuncer/better-ci

Improve .gitlab-ci.yml

.gitlab-ci.yml: run Dialyzer

.gitlab-ci.yml: no need to report file deletion

.gitlab-ci.yml: @zkessin suggested to add copyright preamble

Improve .gitlab-ci.yml

* Use a shallow (3 commits) git clone
* Test with multiple Erlang versions
* Use templates to share config
* Keep artifacts indefinitely only if it's a release build (i.e. for a
  tag). Normal builds' artifacts expire after a week.
* Cache .rebar/triq_*_plt

Add clarification on purpose of triq_dom:sample/1

Evaluate dynamic next_state

Correct symbolic state leaking into postcondition/3

As per krestenkrab/triq issue #52, postcondition/3 should be called
with a computed value for the result, not a symbolic one.

Merge remote-tracking branch 'gitlab/master' into add-types

Merge pull request #16 from tuncer/gitlab-ci

Add GitLab CI support

Add GitLab CI support

This is for use in the GitLab mirror at https://gitlab.com/triqng/triq.

Merge pull request #9 from tuncer/merge-kresten-master

Sync

Revert "improvements to the makefile"

This reverts commit f241f5f00c18a1dcc31648f28af004c628b3c7ca.

rebar eunit and rebar qc already compile implicitly.

Merge https://github.com/triqng/triq into merge-kresten-master

rebar.config.script: handle already started crypto app

.travis.yml: enable more OTP versions

Introduce and use compat random number module

In order for Triq to work with previous and current OTP releases, we
generate the triq_rnd module on first load of triq.beam. triq_rnd is
generated dynamically to make sure that we use the right random module
(either rand if available or else random). It only wraps the common
subset of the API, but that's sufficient for Triq to function.

We also have to conditionally define a macro for using
crypto:strong_rand_bytes/1 if available or else fall back to
crypto:rand_bytes/1. Otherwise, warnings_as_errors would break the
build.

Ignore .rebar

Merge pull request #8 from zkessin/export_as_eunit

add each property as its own eunit test

Merge pull request #54 from Primordus/module_tests

Minor improvement for specifying amount of tests for entire module.

Added extra guard clause

Added possibility to specify amount of tests for entire module.

Merge pull request #7 from jstepien/readme-eunit

In the eunit hint use binding instead of equals-to

In the eunit hint use binding instead of equals-to

An equality check doesn't result in an eunit test failure, while
a bad match does.

add each property as its own eunit test

Merge pull request #6 from zkessin/master

add float as an alias for real

add float as an alias for real

Merge pull request #5 from zkessin/master

add statem behaviour

add statem behaviour

First implementation of large integer support.

I am not 100% sure that shrinking by orders of magnitude is the right
choice here.  It means that there will be large gaps in what is being
tested as part of the quickcheck process when large integers are used.
That being said, the naive methodology of simply subtracting one is
clearly unworkable.

Add support for bitstring/0, bitstring/1 types.

Add edoc string for atom domain.

Add support for ?SETUP and ?LAZY.

Add preliminary support for triq:conjunction/1.

Though this appears to work, I have some concerns about whether the
information that makes it out of this is going to be useful.  If you
have multiple clauses in the conjunction statement, you don't
necessarily know what part failed.  I'm also a little worried that we
are bypassing some of the property-test setup logic in check/1.  I don't
know whether that will cause problems down the road.

Add equals/2, a property which succeeds on equality.

Merge pull request #4 from zkessin/master

alias quickcheck for check, for compatability with PropEr and eqc APIS

alias quickcheck for check, for compatability with PropEr and eqc APIS

Merge pull request #3 from zkessin/master

improvements to the makefile

improvements to the makefile

eunit and qc targets now depend on compile

Merge pull request #2 from tuncer/contributing

Contributing

Merge pull request #1 from zkessin/travis_versions

more versions of erlang in travis

Add CONTRIBUTING and THANKS

Update .gitignore

Update README.markdown

Update README.markdown

more versions of erlang in travis

Merge pull request #43 from zkessin/num_tests

add module/2 to allow a variable number of tests

Merge pull request #34 from MirkoBonadei/vagrant_dev_environment

Vagrant dev environment for Triq

Merge pull request #42 from Cloven/full_spectrum_int_range_generator

changes int range generator to range across full given range

add module/2 to allow a variable number of tests

changes int range generator to range across full given range, regardless of current samplesize

Merge pull request #41 from essen/broken-intrange

Fix int/2 generator

Fix int/2 generator

The issue was that the maximum value picked for the generator was
the highest between SampleSize (which is potentially very big)
and Diff (which is the real maximum we don't want to cross).
Instead we now pick the lowest, ensuring that we won't generate
a value bigger than Diff.

Tests suggested by @krestenkrab.

Merge pull request #38 from Cloven/fix_autogenerated_function_call

parse transform fix: triq:test/1 -> triq:check/1

the autogenerated function in the parse transform was calling triq:test,
should instead be calling triq:check

Vagrant dev environment for Triq

- ignoring the .vagrant/ folder
- Vagrantfile for Triq
- provisioning script to install Kerl

Make triq_tests runnable again

Merge pull request #30 from nifoc/makefile

Remove eunit from default target

Merge pull request #31 from jhlywa/master

More aggressive shrinker for choose/2

Make the pict test a bit more verbose on error

Add travis build graphics

Fix travis yml

Make pdict test be run as eunit

disable breaking test

Remove verbose seed output

Add travis

Merge pull request #32 from MirkoBonadei/increase_randomness_level

Increased level of randomness

Increased level of randomness

The Erlang random number generator does not have an high level of randomness because it is based on a default seed and the result is that each Triq run generates the same random values.
I have created a triq:generate_randomness/0 function which uses crypto to improve the randomness and it is invoked in triq:check/3 which (if I am not wrong) is the function that finally checks a property.

So Triq now generates random values with a different seed for each property.

More aggressive shrinker for choose/2

The old shrinker would simply subtract one from the current value, which
was ineffective when shrinking large ranges (e.g. choose(0, 16#ffffffff)).
This new shrinker converges towards min by repeatedly halving the
difference between current value and min.

Remove eunit from default target

Two remedy this, two new targets are added:

- eunit: Run EUnit tests
- test: Run EUnit and QC tests

Merge pull request #28 from richcarl/autoexport-relicense

relicense the autoexport module under Apache 2.0 to make things simpler

Merge branch 'master' of git://github.com/krestenkrab/triq

allow all kinds of specific values as generators

relicense the autoexport module under Apache 2.0 to make things simpler

Merge pull request #27 from tuncer/readme

README: Git-based installation steps

Merge pull request #26 from fishcakez/fix-unicode-char-test

Fix typo in unicode character test

README: Git-based installation steps

Offer a git-based installation procedure in addition to tar-based procedure.

Fix typo in unicode character test

Merge pull request #22 from tuncer/triq_dom-unused-fun

Fix #21

Enable warnings_as_errors (Suggested-by: Joe Norton)

triq_unicode_tests: make prop_unicode_char/0 actually test the unicode char

triq_unicode_tests: delete unused variable