Ticket #32: reactive_test-log.txt

File reactive_test-log.txt, 6.4 kB (added by HackerFoo, 2 years ago)

test log

Line 
1
2FRP.Reactive.Future:
3  monoid: left  identity:   +++ OK, passed 500 tests.
4  monoid: right identity:   +++ OK, passed 500 tests.
5  monoid: associativity:    +++ OK, passed 500 tests.
6  functor-monoid: identity: +++ OK, passed 500 tests.
7  functor-monoid: binop:    +++ OK, passed 500 tests.
8  specifics: laziness:      +++ OK, passed 500 tests.
9
10Reactive.PrimReactive:
11  monoid: left  identity:     +++ OK, passed 500 tests.
12  monoid: right identity:     +++ OK, passed 500 tests.
13  monoid: associativity:      +++ OK, passed 500 tests.
14  monoid: left  identity:     +++ OK, passed 500 tests.
15  monoid: right identity:     +++ OK, passed 500 tests.
16  monoid: associativity:      +++ OK, passed 500 tests.
17  monad laws: left  identity: +++ OK, passed 500 tests.
18  monad laws: right identity: +++ OK, passed 500 tests.
19  monad laws: associativity:  +++ OK, passed 500 tests.
20  monotonicity: <*>:          +++ OK, passed 500 tests.
21  monotonicity: join:         +++ OK, passed 500 tests.
22  monotonicity: withTimeGE:   *** Failed! Falsifiable (after 300 tests): 
23Event: (Max {getMax = 2652040055114449166},'\206')->(Max {getMax = 4957857163071767737},'j')->(Max {getMax = 5401067513273474800},'m')->(Max {getMax = 6195688092135525282},'"')->(Max {getMax = 8775064019708128396},'8')->(Max {getMax = -6508930070866850235},'I')->(Max {getMax = -2739423399242955285},'\'')->(Max {getMax = -453792871470116953},'\162')->(Max {getMax = 639534685276926929},'J')->(Max {getMax = 1705620924336717537},'j')
24  monotonicity: once:         +++ OK, passed 500 tests.
25  monotonicity: accumE:       *** Failed! Falsifiable (after 100 tests and 1 shrink): 
26('a',Event: (Max {getMax = -2941020081908165067},<function>)->(Max {getMax = 705853876488939038},<function>)->(Max {getMax = 1681598849751665781},<function>)->(Max {getMax = 5502539250815483777},<function>)->(Max {getMax = 7205311518781785210},<function>)->(Max {getMax = 7792880025551181525},<function>)->(Max {getMax = 8088306602383069465},<function>)->(Max {getMax = -5973261457895009362},<function>))
27  monotonicity: mappend:      *** Failed! Falsifiable (after 200 tests): 
28(Event: (Max {getMax = 514250303761494935},'O')->(Max {getMax = 2347918855048547853},'/')->(Max {getMax = 2668201042124338137},'0')->(Max {getMax = 6471694209130539438},'\EM')->(Max {getMax = -7626636498844239751},'{'),Event: (Max {getMax = -1635544472898156877},'\255')->(Max {getMax = -274362247079078210},'\254')->(Max {getMax = 3071842962757952416},'x')->(Max {getMax = 3723264794998293757},'D'))
29  monotonicity: mplus:        *** Failed! Falsifiable (after 98 tests): 
30(Event: (Max {getMax = -1720221329258423185},'x')->(Max {getMax = -118852489641538697},'z')->(Max {getMax = 30718074765154997},'N')->(Max {getMax = 1948400816818400977},'Z')->(Max {getMax = 2546387588812647697},'\RS'),Event: (Max {getMax = 1971149179614513086},'!')->(Max {getMax = 3748059472619730899},'a')->(Max {getMax = 4260770119049098177},'k')->(Max {getMax = 6352834537440641363},'I')->(Max {getMax = 7112710712772619480},'f')->(Max {getMax = 8407706526361258963},'L')->(Max {getMax = 8798274856873514976},'o')->(Max {getMax = 9067344865273952451},'$')->(Max {getMax = -7151612730562161944},'\143')->(Max {getMax = -4989860060680594047},'%')->(Max {getMax = -4224463880979374095},'\n')->(Max {getMax = -2303986240215210727},'\213')->(Max {getMax = -557219311949754731},'1'))
31  monotonicity: <|>:          *** Failed! Falsifiable (after 100 tests): 
32(Event: (Max {getMax = -2262288172927042661},'\SUB')->(Max {getMax = -1053571364202970360},'\228')->(Max {getMax = 2121728782192977097},'0')->(Max {getMax = 4833429175819726808},'Q')->(Max {getMax = 5426320295832304561},'/')->(Max {getMax = 6778522772379080867},'f')->(Max {getMax = 7992208627786843521},'*'),Event: (Max {getMax = 3583951839894553052},'\243')->(Max {getMax = 5209585954151699050},'~')->(Max {getMax = 6551897807823784558},'\165')->(Max {getMax = -8050378574489889552},'*'))
33  monotonicity: fmap:         *** Failed! Falsifiable (after 198 tests): 
34(<function>,Event: (Max {getMax = -258261435902937158},'\172')->(Max {getMax = 228708429323425294},'\171')->(Max {getMax = 2348884918696625780},'\SOH')->(Max {getMax = 3799324295144034118},'2')->(Max {getMax = 4448153347555835495},'o')->(Max {getMax = 5722772356783696899},'\250')->(Max {getMax = 7943662694742734132},'\v')->(Max {getMax = 8949953257882684275},'d')->(Max {getMax = -8540156595217983504},'{')->(Max {getMax = -6416053384711343502},'5')->(Max {getMax = -5503693052063719805},'\179')->(Max {getMax = -5318608826050081534},'\130')->(Max {getMax = -5241140573468505571},'\NUL')->(Max {getMax = -3579917853144333707},'h'))
35  order preservation: once:   +++ OK, passed 500 tests.
36
37FRP.Reactive.Reactive:
38
39FRP.Reactive.Fun:
40  monoid: left  identity:              +++ OK, passed 500 tests.
41  monoid: right identity:              +++ OK, passed 500 tests.
42  monoid: associativity:               +++ OK, passed 500 tests.
43  semantic monoid morphism: identity:  +++ OK, passed 500 tests.
44  semantic monoid morphism: binop:     +++ OK, passed 500 tests.
45  functor: identity:                   +++ OK, passed 500 tests.
46  functor: compose:                    +++ OK, passed 500 tests.
47  functor morphism: fmap:              +++ OK, passed 500 tests.
48  applicative: identity:               +++ OK, passed 500 tests.
49  applicative: composition:            +++ OK, passed 500 tests.
50  applicative: homomorphism:           +++ OK, passed 500 tests.
51  applicative: interchange:            +++ OK, passed 500 tests.
52  applicative: functor:                +++ OK, passed 500 tests.
53  applicative morphism: pure:          +++ OK, passed 500 tests.
54  applicative morphism: apply:         +++ OK, passed 500 tests.
55  monad laws: left  identity:          +++ OK, passed 500 tests.
56  monad laws: right identity:          +++ OK, passed 500 tests.
57  monad laws: associativity:           +++ OK, passed 500 tests.
58  monad morphism: return:              +++ OK, passed 500 tests.
59  monad morphism: bind:                +++ OK, passed 500 tests.
60  monad morphism: join:                +++ OK, passed 500 tests.
61  arrow laws: associativity:           +++ OK, passed 500 tests.
62  arrow laws: arr distributes:         +++ OK, passed 500 tests.
63  arrow laws: first works as funs:     +++ OK, passed 500 tests.
64  arrow laws: first keeps composition: +++ OK, passed 500 tests.
65  arrow laws: first works as fst:      +++ OK, passed 500 tests.
66  arrow laws: second can move:         +++ OK, passed 500 tests.
67  specifics: Constants are:            +++ OK, passed 500 tests.