Commits on Oct 18, 2015
  1. Merge pull request #54 from Primordus/module_tests

    Minor improvement for specifying amount of tests for entire module.
    committed Oct 18, 2015
  2. @Primordus

    Added extra guard clause

    Primordus committed Oct 18, 2015
Commits on Oct 17, 2015
  1. @Primordus
Commits on Jan 8, 2015
  1. Merge pull request #43 from zkessin/num_tests

    add module/2 to allow a variable number of tests
    committed Jan 8, 2015
  2. Merge pull request #34 from MirkoBonadei/vagrant_dev_environment

    Vagrant dev environment for Triq
    committed Jan 8, 2015
  3. Merge pull request #42 from Cloven/full_spectrum_int_range_generator

    changes int range generator to range across full given range
    committed Jan 8, 2015
Commits on Dec 27, 2014
  1. @zkessin
Commits on Dec 20, 2014
  1. @Cloven

    changes int range generator to range across full given range, regardl…

    …ess of current samplesize
    Cloven committed Dec 20, 2014
Commits on Dec 17, 2014
  1. Merge pull request #41 from essen/broken-intrange

    Fix int/2 generator
    committed Dec 17, 2014
  2. @essen

    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.
    essen committed Dec 17, 2014
Commits on Dec 15, 2014
  1. Merge pull request #38 from Cloven/fix_autogenerated_function_call

    parse transform fix: triq:test/1 -> triq:check/1
    committed Dec 15, 2014
  2. @Cloven

    the autogenerated function in the parse transform was calling triq:test,

    should instead be calling triq:check
    Cloven committed Dec 14, 2014
Commits on Nov 22, 2014
  1. @MirkoBonadei

    Vagrant dev environment for Triq

    - ignoring the .vagrant/ folder
    - Vagrantfile for Triq
    - provisioning script to install Kerl
    MirkoBonadei committed Nov 22, 2014
Commits on Nov 17, 2014
  1. Merge pull request #30 from nifoc/makefile

    Remove eunit from default target
    committed Nov 17, 2014
  2. Merge pull request #31 from jhlywa/master

    More aggressive shrinker for choose/2
    committed Nov 17, 2014
  3. Add travis build graphics

    committed Nov 17, 2014
  4. Fix travis yml

    committed Nov 17, 2014
  5. disable breaking test

    committed Nov 17, 2014
  6. Remove verbose seed output

    committed Nov 17, 2014
  7. Add travis

    committed Nov 17, 2014
Commits on Nov 16, 2014
  1. Merge pull request #32 from MirkoBonadei/increase_randomness_level

    Increased level of randomness
    committed Nov 16, 2014
  2. @MirkoBonadei

    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.
    MirkoBonadei committed Nov 16, 2014
Commits on Sep 10, 2014
  1. @jhlywa

    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.
    jhlywa committed Sep 9, 2014
Commits on Aug 19, 2014
  1. @nifoc

    Remove eunit from default target

    Two remedy this, two new targets are added:
    
    - eunit: Run EUnit tests
    - test: Run EUnit and QC tests
    nifoc committed Aug 19, 2014
Commits on Jul 8, 2014
  1. Merge pull request #28 from richcarl/autoexport-relicense

    relicense the autoexport module under Apache 2.0 to make things simpler
    committed Jul 8, 2014
Commits on May 6, 2014
Commits on Apr 20, 2014
Commits on Jun 12, 2013
  1. Merge pull request #27 from tuncer/readme

    README: Git-based installation steps
    committed Jun 12, 2013
  2. Merge pull request #26 from fishcakez/fix-unicode-char-test

    Fix typo in unicode character test
    committed Jun 12, 2013
  3. @mcandre @tuncer

    README: Git-based installation steps

    Offer a git-based installation procedure in addition to tar-based procedure.
    mcandre committed with tuncer May 28, 2013
Commits on Jun 10, 2013
  1. @fishcakez