Skip to content

Instantly share code, notes, and snippets.

@emauton
Created February 3, 2015 14:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save emauton/d33385c06e16b6446161 to your computer and use it in GitHub Desktop.
Save emauton/d33385c06e16b6446161 to your computer and use it in GitHub Desktop.
Trouble checking fuse_eqc at master branch, Erlang R16B02-basho5, QuickCheck 1.33.2
~/Source/fuse $ git branch -v
* master 32c6f79 Do not error on warnings for this project for now.
~/Source/fuse $ git diff | cat
diff --git a/eqc_test/fuse_eqc.erl b/eqc_test/fuse_eqc.erl
index 466a9a8..8dd3c3a 100644
--- a/eqc_test/fuse_eqc.erl
+++ b/eqc_test/fuse_eqc.erl
@@ -426,6 +426,7 @@ setup() ->
application:set_env(sasl, sasl_error_logger, false),
application:set_env(sasl, errlog_type, error),
application:start(sasl),
+ application:start(bear),
application:start(folsom).
-endif.
@@ -552,6 +553,7 @@ load_sasl() ->
application:set_env(sasl, sasl_error_logger, false),
application:set_env(sasl, errlog_type, error),
application:start(sasl),
+ application:start(bear),
application:start(folsom),
ok.
diff --git a/stress/stress.erl b/stress/stress.erl
index 54361d5..c7bb90d 100644
--- a/stress/stress.erl
+++ b/stress/stress.erl
@@ -14,6 +14,7 @@ setup() ->
application:set_env(sasl, errlog_type, error),
error_logger:tty(false),
application:start(sasl),
+ application:start(bear),
application:start(folsom),
application:start(fuse),
ok.
~/Source/fuse $ cd eqc_test/
~/Source/fuse/eqc_test $ make console
env ERL_LIBS=${ERL_LIBS}:../deps erl -pz ../ebin
Erlang R16B02-basho5 (erts-5.10.3) [source] [64-bit] [smp:4:4] [async-threads:10] [hipe] [kernel-poll:false]
Eshell V5.10.3 (abort with ^G)
1> fuse_eqc:r(seq, {5, min}).
Starting Quviq QuickCheck version 1.33.2
(compiled at {{2015,2,1},{14,31,13}})
Licence for Metricfire Ltd reserved until {{2015,2,3},{15,31,26}}
......................................................................Failed! After 71 tests.
[{set,{var,1},{call,fuse_eqc,elapse_time,[115844]}},
{set,{var,2},{call,fuse_eqc,install,[heinz,{{standard,1,3},{reset,60000}}]}},
{set,{var,3},{call,fuse_eqc,melt_installed,[heinz]}},
{set,{var,4},{call,fuse_eqc,elapse_time,[451244]}},
{set,{var,5},{call,fuse_eqc,run,[phineas,ok,23,#Fun<eqc_gen.131.93707472>]}},
{set,{var,6},{call,fuse_eqc,ask_installed,[heinz]}},
{set,{var,7},{call,fuse_eqc,melt,[candace]}},
{set,{var,8},{call,fuse_eqc,reset,[candace]}},
{set,{var,9},{call,fuse_eqc,ask,[phineas]}},
{set,{var,10},{call,fuse_eqc,elapse_time,[2589985]}},
{set,{var,11},{call,fuse_eqc,elapse_time,[3977520]}},
{set,{var,12},{call,fuse_eqc,elapse_time,[2355221]}},
{set,{var,13},{call,fuse_eqc,melt_installed,[heinz]}},
{set,{var,14},{call,fuse_eqc,ask_installed,[heinz]}}]
fuse_eqc:elapse_time(115844) -> {0, 999999, 115844}
fuse_eqc:install(heinz, {{standard, 1, 3}, {reset, 60000}}) -> ok
fuse_eqc:melt_installed(heinz) -> ok
fuse_eqc:elapse_time(451244) -> {0, 999999, 567088}
fuse_eqc:run(phineas, ok, 23, #Fun<eqc_gen.131.93707472>) ->
{error, not_found}
fuse_eqc:ask_installed(heinz) -> ok
fuse_eqc:melt(candace) -> ok
fuse_eqc:reset(candace) -> {error, not_found}
fuse_eqc:ask(phineas) -> {error, not_found}
fuse_eqc:elapse_time(2589985) -> {1, 2, 157073}
fuse_eqc:elapse_time(3977520) -> {1, 6, 134593}
fuse_eqc:elapse_time(2355221) -> {1, 8, 489814}
fuse_eqc:melt_installed(heinz) -> ok
fuse_eqc:ask_installed(heinz) -> blown
Reason: blown /= ok
Shrinking xxxxxxx.xxxx.xx.x..xxxxxxxxxxxx.xxxxxxx.xxxxxxxxxxxxxxxxxxxxx.xxx.x....x..x.......xxxxxxxxxxxxxxxxxx(x10)x(x1)xxxxx(22 times)
[{set,{var,1},{call,fuse_eqc,install,[heinz,{{standard,1,1},{reset,60000}}]}},
{set,{var,2},{call,fuse_eqc,melt_installed,[heinz]}},
{set,{var,3},{call,fuse_eqc,elapse_time,[2000000]}},
{set,{var,4},{call,fuse_eqc,melt_installed,[heinz]}},
{set,{var,5},{call,fuse_eqc,ask_installed,[heinz]}}]
fuse_eqc:install(heinz, {{standard, 1, 1}, {reset, 60000}}) -> ok
fuse_eqc:melt_installed(heinz) -> ok
fuse_eqc:elapse_time(2000000) -> {1, 1, 0}
fuse_eqc:melt_installed(heinz) -> ok
fuse_eqc:ask_installed(heinz) -> blown
Reason: blown /= ok
false
2> q().
ok
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment