search

hibari / gdss-admin

http://hibari.github.com/hibari-doc/
Other
2 stars 0 forks source link

QuickCheck admin_eqc_tests:prop_0 fails on brick_add command #5

Closed tatsuya6502 closed 9 years ago

tatsuya6502 commented 11 years ago

Since: unknown, this test was already failing in Hibari v0.1.10

% make eqc
...

prop_0: Failed! After 1 tests.
...
Shrinking.(1 times)
[{set,{var,1},
      {call,admin_eqc_tests,brick_add,
            [{newb3,gdss_eunit@localhost},
             tab1_ch1,
             {state,init,
                    [{tab1_ch1,[{tab1_ch1_b1,gdss_eunit@localhost}]}],
                    [{tab1_ch1,[{tab1_ch1_b1,gdss_eunit@localhost}]}],
                    [{newb0,gdss_eunit@localhost},
                     {newb1,gdss_eunit@localhost},
                     {newb2,gdss_eunit@localhost},
                     {newb3,gdss_eunit@localhost},
                     {newb4,gdss_eunit@localhost},
                     {newb5,gdss_eunit@localhost}]}]}}]
tatsuya6502 commented 11 years ago

Target Milestone: v0.3.1

tatsuya6502 commented 9 years ago

Fixed the problem by increasing MaxRetry for sync_chains/1 from 10 secs to 16 secs. (It takes average 12 secs to complete.)

Commit: https://github.com/hibari/gdss-admin/commit/55a77ace30737fe7c596303615643f3a13504236

I verified that prop_0/0 passes 20 tests (this is a slow test and it took 24 minutes to run 20 tests).

Erlang/OTP 17 [erts-6.3] [source] [64-bit] [smp:8:8] [async-threads:64] [hipe] [kernel-poll:true]

Eshell V6.3  (abort with ^G)
(hibariclient@127.0.0.1)1> timer:tc(fun() -> eqc:quickcheck(eqc:numtests(20, admin_eqc_tests:prop_0())) end).
Starting Quviq QuickCheck version 1.33.3
   (compiled at {{2015,2,9},{14,18,24}})
Licence for ...
....................
OK, passed 20 tests

15% 3
15% 0
10% 15
10% 7
10% 2
10% 1
5% 22
5% 19
5% 17
5% 14
5% 11
5% 6
{1442019576,true}
(hibariclient@127.0.0.1)2> 1442019576 / 1000 / 1000 / 60.
24.0336596