Created
February 3, 2015 14:53
-
-
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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
~/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