Example project of a problem I'm having with rebar's qc support.
JavaScript Erlang
Switch branches/tags
Nothing to show
Latest commit 3a0451e Aug 8, 2012 @blt blt Initial commit.
Signed-off-by: Brian L. Troutwine <brian@troutwine.us>
Permalink
Failed to load latest commit information.
src Initial commit. Aug 8, 2012
test Initial commit. Aug 8, 2012
README.md Initial commit. Aug 8, 2012
rebar Initial commit. Aug 8, 2012
rebar.config Initial commit. Aug 8, 2012

README.md

Exercise the experimental QuickCheck ability of rebar

This application is barely anything, save for a demonstration that rebar's QC support does not work as I expect, specially when triq is the QuickCheck implmenentation.

Reproduction:

> ./rebar -V
rebar 2.9.0 R15B01 20120808_172850 git 2.0.0-144-g19d1ee2

> ./rebar get-deps
==> triqy_rebar (get-deps)
Pulling triq from {git,"git://github.com/krestenkrab/triq.git",
                       {tag,"7fb90cd1"}}
Cloning into 'triq'...
==> triq (get-deps)

> ./rebar compile
==> triq (compile)
Compiled src/triq_autoexport.erl
Compiled src/triq_sup.erl
Compiled src/triq_fsm_stub.erl
/private/tmp/triqy_rebar/deps/triq/src/triq_fsm.erl:31: Warning: variable 'Init' is unused
Compiled src/triq_fsm.erl
Compiled src/triq_statem.erl
Compiled src/triq_expr.erl
Compiled src/triq_app.erl
Compiled src/triq.erl
Compiled src/pdict_statem.erl
Compiled src/triq_tests.erl
/private/tmp/triqy_rebar/deps/triq/src/triq_dom.erl:778: Warning: function try_shrink/3 is unused
Compiled src/triq_dom.erl
==> triqy_rebar (compile)
Compiled src/hello_world_app.erl
Compiled src/hello_world_sup.erl

> ./rebar qc skip_deps=true
==> triqy_rebar (qc)
NOTICE: Using experimental 'qc' command
Compiled test/append_test.erl
Testing append_test:prop_append/0
....................................................................................................
Ran 100 tests
ERROR: One or more QC properties didn't hold true:
[true]
ERROR: qc failed while processing /private/tmp/triqy_rebar: rebar_abort

The test, taken directly from triq's README, does pass successfully, yet rebar reports the test as a failure.