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 #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

triq_dom: minor fixup

Delete unused fun triq_dom:try_shrink/3 (Reported-by: Joe Norton)

Typo

Merge pull request #20 from tuncer/fixes

Fixes

Remove vestiges of package syntax

Package syntax support and the package module have been removed in R16.

triq_fsm: fix warnings (unused var and imports)

README: enhance syntax highlighting markup

README: fix trivial typo

Update copyright years

Add missing copyright headers based on git history

Merge pull request #19 from tuncer/r16

Fix R16 compatibility (stop using pmod)

Merge pull request #17 from tuncer/build-system

Add 'qc' Makefile target and simplify rebar.config

Fix R16 compatibility (stop using pmod)

Add 'qc' Makefile target and simplify rebar.config

* debug_info is enabled by default with updated rebar binary
* configure qc_opts and add 'qc' Makefile target

Update rebar

Merge pull request #15 from tuncer/fix-int

Fix pos_integer/0 and non_neg_integer/0

Fix pos_integer/0 and non_neg_integer/0

Also add test properties for pos_integer/0 and non_neg_integer/0.

Merge pull request #13 from tuncer/lock_fsm

test/lock_fsm: do not match result of start/1 and stop/0

test/lock_fsm: do not match result of start/1 and stop/0

Merge pull request #12 from tuncer/test-fsm

Add triq_fsm test

Add triq_fsm test

Merge pull request #11 from tuncer/fix-fsm-initial_state

Fix M:initial_state/0 handling

Fix M:initial_state/0 handling

initial_state/0 may return {'foo_state', Data} or 'foo_state'.  Adjust
the caller accordingly.

Merge pull request #10 from tuncer/cleanup2

Cleanup

Fix formatting

Add file local vars

triq_dom: minor comment fixes

Fix -spec syntax in triq_dom:sized/1

README: fix minor typo

Merge pull request #9 from tuncer/cleanup

Code Cleanup

Move tests from src/ to test/

Make import and export style consistent

Fix comments

Fix minor typo

Fix spurious whitespace errors

Merge pull request #8 from arcusfelis/revisited-unicode-generators

Improved unicode generators.

Improved unicode generators.

Add int/0 and int/1.
Reformat some inport and export attributes.

Merge pull request #6 from tuncer/pos_integer

Add pos_integer/0 and non_neg_integer/0

Add pos_integer/0 and non_neg_integer/0

Add triq_fsm (based on triq_statem)

This is "poor mans" equivalent of eqc_fsm; notable
limitations:

Module:postcondition/4 -- always called with a first
   argument (from state) of undefined.

Module:State/1 -- can only transition to exactly
   one other state per {M,F,length(A)} pattern;
   i.e. the same function call with different
   args are not allowed to go to different states.

Implement triq:numtests/2

Fix edoc typo

Implement commands/2, command_names/1, zip/2

Fix 16#FFFF,16#FFFE.

Add types for unicode chars and strings.

Merge pull request #4 from eriksoe/master

Statem bugfixes

Triq statem: in do_run_command(): Keep state passed to next_state() symbolic.

Triq: Bugfix in command sequence shrinking (validation should ensure that all used variables are bound).
Moved eval() to new module.

Merge pull request #3 from eriksoe/master

Misc. Triq improvements, inclusing statem fixes.

Statem-related bugfixes: Make eval/2 work (type mismatch); return non-symbolic state from run_commands.

Added triq_statem.hrl .

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

Conflicts:
include/triq.hrl

triq.hrl: Importing non_empty/1.

Fix bug with operator preference in debug code

Minor fixes

- export binary/0 in triq.hrl
- eliminate min warnings in R14

Fix bug with operator preference in debug code

Minor fixes

- export binary/0 in triq.hrl
- eliminate min warnings in R14

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

triq_tests: Added a test demonstrating the alleged need for aggressive list shortening.
Also, repeating the test in list_shrink_test() a number of times; the previous lack of repetition happened to hide a bug in triq:shrink_loop().

triq_dom:shorter_list(): Added more aggressive shortening modes. Also, fixed a typo which broke the SmallerOK calculation in list_shrink().

triq:shrink_loop(): Recurrence check failed if it was the first shrink attempt which returned its input.