couchdb-triq.git
4 years agoMerge pull request #28 from aerosol/master 1.1
Zachary Kessin [Mon, 3 Jul 2017 06:47:02 +0000 (09:47 +0300)] 
Merge pull request #28 from aerosol/master

Add configurable reporting module

4 years agoAdd configurable reporting module
Adam Rutkowski [Mon, 3 Jul 2017 06:15:00 +0000 (08:15 +0200)] 
Add configurable reporting module

5 years agoMerge pull request #24 from KrzysiekJ/rebar-executable
Zachary Kessin [Mon, 10 Apr 2017 13:59:41 +0000 (16:59 +0300)] 
Merge pull request #24 from KrzysiekJ/rebar-executable

Make the bundled Rebar binary executable

5 years agoMake the bundled Rebar binary executable
Krzysztof Jurewicz [Mon, 10 Apr 2017 13:11:35 +0000 (15:11 +0200)] 
Make the bundled Rebar binary executable

5 years agoMerge pull request #23 from lemenkov/fix_edoc
Zachary Kessin [Wed, 29 Mar 2017 06:21:45 +0000 (09:21 +0300)] 
Merge pull request #23 from lemenkov/fix_edoc

Fix error while building edocs

5 years agoSpec matches actual function
Peter Lemenkov [Tue, 28 Mar 2017 14:51:58 +0000 (17:51 +0300)] 
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>
5 years agoFix error while building edocs
Peter Lemenkov [Tue, 28 Mar 2017 14:48:09 +0000 (17:48 +0300)] 
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>
5 years agoRebar v 2.6.4
Zachary Kessin [Thu, 1 Sep 2016 15:42:49 +0000 (18:42 +0300)] 
Rebar v 2.6.4

5 years agoMerge pull request #21 from tuncer/fixup
Zachary Kessin [Thu, 1 Sep 2016 10:12:34 +0000 (13:12 +0300)] 
Merge pull request #21 from tuncer/fixup

Fixups for #19

5 years agoFixup unused variable
Tuncer Ayaz [Thu, 1 Sep 2016 07:08:23 +0000 (09:08 +0200)] 
Fixup unused variable

5 years agoFixup re-introduced random:X() calls
Tuncer Ayaz [Thu, 1 Sep 2016 07:07:45 +0000 (09:07 +0200)] 
Fixup re-introduced random:X() calls

5 years agoMerge pull request #19 from tuncer/hlieberman1
Zachary Kessin [Thu, 1 Sep 2016 06:32:19 +0000 (09:32 +0300)] 
Merge pull request #19 from tuncer/hlieberman1

First cut of commits from hlieberman

5 years agoMerge pull request #20 from tuncer/eunit-opt-in
Zachary Kessin [Thu, 1 Sep 2016 06:32:04 +0000 (09:32 +0300)] 
Merge pull request #20 from tuncer/eunit-opt-in

Make EUnit test generation opt-in

5 years agoMake EUnit test generation opt-in
Tuncer Ayaz [Wed, 31 Aug 2016 19:40:58 +0000 (21:40 +0200)] 
Make EUnit test generation opt-in

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

5 years agotriq_autoexport: apply minor whitespace fix
Tuncer Ayaz [Wed, 31 Aug 2016 20:45:56 +0000 (22:45 +0200)] 
triq_autoexport: apply minor whitespace fix

5 years agotriq_autoexport: apply minor fixes
Tuncer Ayaz [Wed, 31 Aug 2016 19:30:35 +0000 (21:30 +0200)] 
triq_autoexport: apply minor fixes

5 years agoMerge branch 'bugfixes' of https://gitlab.com/hlieberman/triq into hlieberman1
Tuncer Ayaz [Wed, 31 Aug 2016 19:17:35 +0000 (21:17 +0200)] 
Merge branch 'bugfixes' of https://gitlab.com/hlieberman/triq into hlieberman1

5 years agoMerge branch 'add-types' of https://gitlab.com/hlieberman/triq into hlieberman1
Tuncer Ayaz [Wed, 31 Aug 2016 19:17:27 +0000 (21:17 +0200)] 
Merge branch 'add-types' of https://gitlab.com/hlieberman/triq into hlieberman1

5 years agoMerge pull request #18 from tuncer/better-ci
Zachary Kessin [Sun, 28 Aug 2016 12:21:44 +0000 (15:21 +0300)] 
Merge pull request #18 from tuncer/better-ci

Improve .gitlab-ci.yml

5 years ago.gitlab-ci.yml: run Dialyzer
Tuncer Ayaz [Sun, 28 Aug 2016 11:59:38 +0000 (13:59 +0200)] 
.gitlab-ci.yml: run Dialyzer

5 years ago.gitlab-ci.yml: no need to report file deletion
Tuncer Ayaz [Sun, 28 Aug 2016 11:52:57 +0000 (13:52 +0200)] 
.gitlab-ci.yml: no need to report file deletion

5 years ago.gitlab-ci.yml: @zkessin suggested to add copyright preamble
Tuncer Ayaz [Sun, 28 Aug 2016 10:12:27 +0000 (12:12 +0200)] 
.gitlab-ci.yml: @zkessin suggested to add copyright preamble

5 years agoImprove .gitlab-ci.yml
Tuncer Ayaz [Sun, 28 Aug 2016 04:22:32 +0000 (06:22 +0200)] 
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

5 years agoAdd clarification on purpose of triq_dom:sample/1
Harlan Lieberman-Berg [Sun, 20 Sep 2015 21:45:43 +0000 (17:45 -0400)] 
Add clarification on purpose of triq_dom:sample/1

5 years agoEvaluate dynamic next_state
James Fish [Sat, 23 May 2015 19:49:57 +0000 (20:49 +0100)] 
Evaluate dynamic next_state

5 years agoCorrect symbolic state leaking into postcondition/3
Harlan Lieberman-Berg [Sat, 23 May 2015 18:38:53 +0000 (14:38 -0400)] 
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.

5 years agoMerge remote-tracking branch 'gitlab/master' into add-types
Harlan Lieberman-Berg [Sat, 27 Aug 2016 21:44:48 +0000 (17:44 -0400)] 
Merge remote-tracking branch 'gitlab/master' into add-types

5 years agoMerge pull request #16 from tuncer/gitlab-ci
Zachary Kessin [Sat, 27 Aug 2016 18:40:01 +0000 (21:40 +0300)] 
Merge pull request #16 from tuncer/gitlab-ci

Add GitLab CI support

5 years agoAdd GitLab CI support
Tuncer Ayaz [Fri, 26 Aug 2016 19:01:44 +0000 (21:01 +0200)] 
Add GitLab CI support

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

5 years agoMerge pull request #9 from tuncer/merge-kresten-master
Zachary Kessin [Wed, 24 Aug 2016 05:01:00 +0000 (08:01 +0300)] 
Merge pull request #9 from tuncer/merge-kresten-master

Sync

5 years agoRevert "improvements to the makefile"
Tuncer Ayaz [Tue, 23 Aug 2016 20:58:22 +0000 (22:58 +0200)] 
Revert "improvements to the makefile"

This reverts commit f241f5f00c18a1dcc31648f28af004c628b3c7ca.

rebar eunit and rebar qc already compile implicitly.

5 years agoMerge https://github.com/triqng/triq into merge-kresten-master
Tuncer Ayaz [Tue, 23 Aug 2016 20:57:12 +0000 (22:57 +0200)] 
Merge https://github.com/triqng/triq into merge-kresten-master

5 years agorebar.config.script: handle already started crypto app
Tuncer Ayaz [Fri, 12 Aug 2016 21:04:25 +0000 (23:04 +0200)] 
rebar.config.script: handle already started crypto app

5 years ago.travis.yml: enable more OTP versions
Tuncer Ayaz [Mon, 25 Jul 2016 13:17:09 +0000 (15:17 +0200)] 
.travis.yml: enable more OTP versions

5 years agoIntroduce and use compat random number module
Tuncer Ayaz [Mon, 25 Jul 2016 12:53:09 +0000 (14:53 +0200)] 
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.

5 years agoIgnore .rebar
Tuncer Ayaz [Mon, 25 Jul 2016 12:52:34 +0000 (14:52 +0200)] 
Ignore .rebar

6 years agoMerge pull request #8 from zkessin/export_as_eunit
Pieter Hintjens [Thu, 29 Oct 2015 09:37:36 +0000 (10:37 +0100)] 
Merge pull request #8 from zkessin/export_as_eunit

add each property as its own eunit test

6 years agoMerge pull request #54 from Primordus/module_tests 1.0.0
Kresten Krab Thorup [Sun, 18 Oct 2015 16:12:33 +0000 (18:12 +0200)] 
Merge pull request #54 from Primordus/module_tests

Minor improvement for specifying amount of tests for entire module.

6 years agoAdded extra guard clause
Luc Tielen [Sun, 18 Oct 2015 11:28:03 +0000 (13:28 +0200)] 
Added extra guard clause

6 years agoAdded possibility to specify amount of tests for entire module.
Luc Tielen [Sat, 17 Oct 2015 16:19:11 +0000 (18:19 +0200)] 
Added possibility to specify amount of tests for entire module.

6 years agoMerge pull request #7 from jstepien/readme-eunit
Zachary Kessin [Tue, 15 Sep 2015 20:57:03 +0000 (23:57 +0300)] 
Merge pull request #7 from jstepien/readme-eunit

In the eunit hint use binding instead of equals-to

6 years agoIn the eunit hint use binding instead of equals-to
Jan Stępień [Tue, 15 Sep 2015 14:28:11 +0000 (16:28 +0200)] 
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.

6 years agoadd each property as its own eunit test
Zachary Kessin [Fri, 21 Aug 2015 09:52:30 +0000 (10:52 +0100)] 
add each property as its own eunit test

7 years agoMerge pull request #6 from zkessin/master
Pieter Hintjens [Fri, 12 Jun 2015 06:58:57 +0000 (08:58 +0200)] 
Merge pull request #6 from zkessin/master

add float as an alias for real

7 years agoadd float as an alias for real
Zachary Kessin [Fri, 12 Jun 2015 05:57:29 +0000 (08:57 +0300)] 
add float as an alias for real

7 years agoMerge pull request #5 from zkessin/master
Pieter Hintjens [Mon, 18 May 2015 07:43:03 +0000 (09:43 +0200)] 
Merge pull request #5 from zkessin/master

add statem behaviour

7 years agoadd statem behaviour
Zachary Kessin [Mon, 18 May 2015 07:18:19 +0000 (10:18 +0300)] 
add statem behaviour

7 years agoFirst implementation of large integer support.
Harlan Lieberman-Berg [Thu, 23 Apr 2015 01:26:26 +0000 (21:26 -0400)] 
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.

7 years agoAdd support for bitstring/0, bitstring/1 types.
Harlan Lieberman-Berg [Sat, 18 Apr 2015 03:30:36 +0000 (23:30 -0400)] 
Add support for bitstring/0, bitstring/1 types.

7 years agoAdd edoc string for atom domain.
Harlan Lieberman-Berg [Sun, 12 Apr 2015 16:16:55 +0000 (12:16 -0400)] 
Add edoc string for atom domain.

7 years agoAdd support for ?SETUP and ?LAZY.
Harlan Lieberman-Berg [Mon, 6 Apr 2015 23:03:17 +0000 (19:03 -0400)] 
Add support for ?SETUP and ?LAZY.

7 years agoAdd preliminary support for triq:conjunction/1.
Harlan Lieberman-Berg [Tue, 31 Mar 2015 05:15:37 +0000 (01:15 -0400)] 
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.

7 years agoAdd equals/2, a property which succeeds on equality.
Harlan Lieberman-Berg [Mon, 30 Mar 2015 06:02:50 +0000 (02:02 -0400)] 
Add equals/2, a property which succeeds on equality.

7 years agoMerge pull request #4 from zkessin/master
Pieter Hintjens [Mon, 9 Mar 2015 19:58:10 +0000 (20:58 +0100)] 
Merge pull request #4 from zkessin/master

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

7 years agoalias quickcheck for check, for compatability with PropEr and eqc APIS
Zachary Kessin [Mon, 9 Mar 2015 17:16:03 +0000 (19:16 +0200)] 
alias quickcheck for check, for compatability with PropEr and eqc APIS

7 years agoMerge pull request #3 from zkessin/master
Pieter Hintjens [Mon, 9 Mar 2015 16:54:28 +0000 (17:54 +0100)] 
Merge pull request #3 from zkessin/master

improvements to the makefile

7 years agoimprovements to the makefile
Zachary Kessin [Mon, 9 Mar 2015 16:52:11 +0000 (18:52 +0200)] 
improvements to the makefile

eunit and qc targets now depend on compile

7 years agoMerge pull request #2 from tuncer/contributing
Pieter Hintjens [Mon, 9 Mar 2015 16:36:44 +0000 (17:36 +0100)] 
Merge pull request #2 from tuncer/contributing

Contributing

7 years agoMerge pull request #1 from zkessin/travis_versions
Pieter Hintjens [Mon, 9 Mar 2015 16:36:36 +0000 (17:36 +0100)] 
Merge pull request #1 from zkessin/travis_versions

more versions of erlang in travis

7 years agoAdd CONTRIBUTING and THANKS
Tuncer Ayaz [Mon, 9 Mar 2015 16:17:45 +0000 (17:17 +0100)] 
Add CONTRIBUTING and THANKS

7 years agoUpdate .gitignore
Tuncer Ayaz [Mon, 9 Mar 2015 16:17:58 +0000 (17:17 +0100)] 
Update .gitignore

7 years agoUpdate README.markdown
Zachary Kessin [Mon, 9 Mar 2015 15:50:15 +0000 (17:50 +0200)] 
Update README.markdown

7 years agoUpdate README.markdown
Zachary Kessin [Mon, 9 Mar 2015 14:33:08 +0000 (16:33 +0200)] 
Update README.markdown

7 years agomore versions of erlang in travis
Zachary Kessin [Mon, 2 Feb 2015 12:13:24 +0000 (14:13 +0200)] 
more versions of erlang in travis

7 years agoMerge pull request #43 from zkessin/num_tests
Kresten Krab Thorup [Thu, 8 Jan 2015 12:29:02 +0000 (13:29 +0100)] 
Merge pull request #43 from zkessin/num_tests

add module/2 to allow a variable number of tests

7 years agoMerge pull request #34 from MirkoBonadei/vagrant_dev_environment
Kresten Krab Thorup [Thu, 8 Jan 2015 12:28:06 +0000 (13:28 +0100)] 
Merge pull request #34 from MirkoBonadei/vagrant_dev_environment

Vagrant dev environment for Triq

7 years agoMerge pull request #42 from Cloven/full_spectrum_int_range_generator
Kresten Krab Thorup [Thu, 8 Jan 2015 12:27:06 +0000 (13:27 +0100)] 
Merge pull request #42 from Cloven/full_spectrum_int_range_generator

changes int range generator to range across full given range

7 years agoadd module/2 to allow a variable number of tests
Zachary Kessin [Sat, 27 Dec 2014 21:18:20 +0000 (23:18 +0200)] 
add module/2 to allow a variable number of tests

7 years agochanges int range generator to range across full given range, regardless of current...
fsg [Sat, 20 Dec 2014 20:07:51 +0000 (12:07 -0800)] 
changes int range generator to range across full given range, regardless of current samplesize

7 years agoMerge pull request #41 from essen/broken-intrange
Kresten Krab Thorup [Wed, 17 Dec 2014 17:37:21 +0000 (18:37 +0100)] 
Merge pull request #41 from essen/broken-intrange

Fix int/2 generator

7 years agoFix int/2 generator
Loïc Hoguin [Wed, 17 Dec 2014 16:50:58 +0000 (18:50 +0200)] 
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.

7 years agoMerge pull request #38 from Cloven/fix_autogenerated_function_call
Kresten Krab Thorup [Mon, 15 Dec 2014 07:21:45 +0000 (08:21 +0100)] 
Merge pull request #38 from Cloven/fix_autogenerated_function_call

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

7 years agothe autogenerated function in the parse transform was calling triq:test,
fsg [Mon, 15 Dec 2014 05:59:42 +0000 (21:59 -0800)] 
the autogenerated function in the parse transform was calling triq:test,
should instead be calling triq:check

7 years agoVagrant dev environment for Triq
Mirko Bonadei [Sat, 22 Nov 2014 15:26:13 +0000 (16:26 +0100)] 
Vagrant dev environment for Triq

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

7 years agoMake triq_tests runnable again
Kresten Krab Thorup [Mon, 17 Nov 2014 10:27:06 +0000 (11:27 +0100)] 
Make triq_tests runnable again

7 years agoMerge pull request #30 from nifoc/makefile
Kresten Krab Thorup [Mon, 17 Nov 2014 10:20:59 +0000 (11:20 +0100)] 
Merge pull request #30 from nifoc/makefile

Remove eunit from default target

7 years agoMerge pull request #31 from jhlywa/master
Kresten Krab Thorup [Mon, 17 Nov 2014 10:18:55 +0000 (11:18 +0100)] 
Merge pull request #31 from jhlywa/master

More aggressive shrinker for choose/2

7 years agoMake the pict test a bit more verbose on error
Kresten Krab Thorup [Mon, 17 Nov 2014 10:14:31 +0000 (11:14 +0100)] 
Make the pict test a bit more verbose on error

7 years agoAdd travis build graphics
Kresten Krab Thorup [Mon, 17 Nov 2014 09:54:50 +0000 (10:54 +0100)] 
Add travis build graphics

7 years agoFix travis yml
Kresten Krab Thorup [Mon, 17 Nov 2014 09:46:32 +0000 (10:46 +0100)] 
Fix travis yml

7 years agoMake pdict test be run as eunit
Kresten Krab Thorup [Mon, 17 Nov 2014 09:40:30 +0000 (10:40 +0100)] 
Make pdict test be run as eunit

7 years agodisable breaking test
Kresten Krab Thorup [Mon, 17 Nov 2014 09:40:12 +0000 (10:40 +0100)] 
disable breaking test

7 years agoRemove verbose seed output
Kresten Krab Thorup [Mon, 17 Nov 2014 09:23:59 +0000 (10:23 +0100)] 
Remove verbose seed output

7 years agoAdd travis
Kresten Krab Thorup [Mon, 17 Nov 2014 09:23:46 +0000 (10:23 +0100)] 
Add travis

7 years agoMerge pull request #32 from MirkoBonadei/increase_randomness_level
Kresten Krab Thorup [Sun, 16 Nov 2014 22:14:05 +0000 (23:14 +0100)] 
Merge pull request #32 from MirkoBonadei/increase_randomness_level

Increased level of randomness

7 years agoIncreased level of randomness
Mirko Bonadei [Sun, 16 Nov 2014 14:53:04 +0000 (15:53 +0100)] 
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.

7 years agoMore aggressive shrinker for choose/2
Jeff Hlywa [Wed, 10 Sep 2014 01:22:36 +0000 (21:22 -0400)] 
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.

7 years agoRemove eunit from default target
Daniel Kempkens [Tue, 19 Aug 2014 11:42:27 +0000 (13:42 +0200)] 
Remove eunit from default target

Two remedy this, two new targets are added:

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

7 years agoMerge pull request #28 from richcarl/autoexport-relicense
Kresten Krab Thorup [Tue, 8 Jul 2014 08:21:01 +0000 (10:21 +0200)] 
Merge pull request #28 from richcarl/autoexport-relicense

relicense the autoexport module under Apache 2.0 to make things simpler

8 years agoMerge branch 'master' of git://github.com/krestenkrab/triq
Kresten Krab Thorup [Tue, 6 May 2014 11:40:36 +0000 (13:40 +0200)] 
Merge branch 'master' of git://github.com/krestenkrab/triq

8 years agoallow all kinds of specific values as generators
Kresten Krab Thorup [Tue, 6 May 2014 11:39:44 +0000 (13:39 +0200)] 
allow all kinds of specific values as generators

8 years agorelicense the autoexport module under Apache 2.0 to make things simpler
Richard Carlsson [Sun, 20 Apr 2014 16:26:08 +0000 (18:26 +0200)] 
relicense the autoexport module under Apache 2.0 to make things simpler

9 years agoMerge pull request #27 from tuncer/readme
Kresten Krab Thorup [Wed, 12 Jun 2013 18:43:17 +0000 (11:43 -0700)] 
Merge pull request #27 from tuncer/readme

README: Git-based installation steps

9 years agoMerge pull request #26 from fishcakez/fix-unicode-char-test
Kresten Krab Thorup [Wed, 12 Jun 2013 18:42:48 +0000 (11:42 -0700)] 
Merge pull request #26 from fishcakez/fix-unicode-char-test

Fix typo in unicode character test

9 years agoREADME: Git-based installation steps
Andrew Pennebaker [Tue, 28 May 2013 21:54:31 +0000 (18:54 -0300)] 
README: Git-based installation steps

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

9 years agoFix typo in unicode character test
James Fish [Mon, 10 Jun 2013 18:52:29 +0000 (19:52 +0100)] 
Fix typo in unicode character test

9 years agoMerge pull request #22 from tuncer/triq_dom-unused-fun
Kresten Krab Thorup [Sat, 6 Apr 2013 21:45:48 +0000 (14:45 -0700)] 
Merge pull request #22 from tuncer/triq_dom-unused-fun

Fix #21

9 years agoEnable warnings_as_errors (Suggested-by: Joe Norton)
Tuncer Ayaz [Sat, 6 Apr 2013 13:44:10 +0000 (15:44 +0200)] 
Enable warnings_as_errors (Suggested-by: Joe Norton)

9 years agotriq_unicode_tests: make prop_unicode_char/0 actually test the unicode char
Tuncer Ayaz [Sat, 6 Apr 2013 13:41:19 +0000 (15:41 +0200)] 
triq_unicode_tests: make prop_unicode_char/0 actually test the unicode char

9 years agotriq_unicode_tests: delete unused variable
Tuncer Ayaz [Sat, 6 Apr 2013 13:39:21 +0000 (15:39 +0200)] 
triq_unicode_tests: delete unused variable