cblp / crdt Goto Github PK

test/Main.hs
  Cm
    ORSet
      Cm:                               FAIL (0.02s)
        *** Failed! Falsifiable (after 14 tests and 20 shrinks):
        Payload {elements = MultiMap (fromList [('\ETX',fromList [356-0,431-0,440-3,449-10,495-1,556-3,609-12,774-12,862-3,898-4,913-11,988-8]),(')',fromList [77-3]),('*',fromList [0-8,222-5,230-2,308-10,372-3,392-4,535-8,568-8,628-11,809-13,895-9,897-4]),('4',fromList [122-8,288-11,293-1,430-2,490-11,706-11,811-6,816-2,819-12,917-4,973-2]),(']',fromList [473-1,505-12,606-12,800-3,961-8]),('x',fromList []),('\217616',fromList [94-11,515-5,783-12,962-6,1012-0]),('\315344',fromList [81-1,85-12,90-3,101-3,390-5,464-5,515-12,531-5,665-0,678-7,727-13]),('\762156',fromList []),('\765215',fromList [50-7,58-10,158-9,192-7,217-7,271-10,400-13,417-11,437-1,553-10,864-13,886-6]),('\1094216',fromList [23-4,127-1,139-11,173-2,419-7,434-5,667-4,688-0,806-8])]), version = 10}
        Pid 0
        Pid 1
        Pid 2
        Right ((Remove ']',OpRemove ']' (fromList [473-1,505-12,606-12,800-3,961-8])),(Remove ']',OpRemove ']' (fromList [473-1,505-12,606-12,800-3,961-8])),Payload {elements = MultiMap (fromList [('\ETX',fromList [356-0,431-0,440-3,449-10,495-1,556-3,609-12,774-12,862-3,898-4,913-11,988-8]),('\SO',fromList [2-17]),('\ESC',fromList [2-11]),(')',fromList [77-3]),('*',fromList [0-8,222-5,230-2,308-10,372-3,392-4,535-8,568-8,628-11,809-13,895-9,897-4]),('4',fromList [122-8,288-11,293-1,430-2,490-11,706-11,811-6,816-2,819-12,917-4,973-2]),('M',fromList [2-16]),('[',fromList [2-18]),(']',fromList [473-1,505-12,606-12,800-3,961-8]),('`',fromList [2-14]),('p',fromList [2-12]),('x',fromList []),('\202505',fromList [2-10]),('\217616',fromList [94-11,515-5,783-12,962-6,1012-0]),('\315344',fromList [81-1,85-12,90-3,101-3,390-5,464-5,515-12,531-5,665-0,678-7,727-13]),('\719235',fromList [2-15]),('\762156',fromList []),('\765215',fromList [50-7,58-10,158-9,192-7,217-7,271-10,400-13,417-11,437-1,553-10,864-13,886-6]),('\963067',fromList [2-20]),('\1094216',fromList [23-4,127-1,139-11,173-2,419-7,434-5,667-4,688-0,806-8])]), version = 21})
        Remove ']' must be valid after OpRemove ']' (fromList [473-1,505-12,606-12,800-3,961-8]) applied to Payload {elements = MultiMap (fromList [('\ETX',fromList [356-0,431-0,440-3,449-10,495-1,556-3,609-12,774-12,862-3,898-4,913-11,988-8]),('\SO',fromList [2-17]),('\ESC',fromList [2-11]),(')',fromList [77-3]),('*',fromList [0-8,222-5,230-2,308-10,372-3,392-4,535-8,568-8,628-11,809-13,895-9,897-4]),('4',fromList [122-8,288-11,293-1,430-2,490-11,706-11,811-6,816-2,819-12,917-4,973-2]),('M',fromList [2-16]),('[',fromList [2-18]),(']',fromList [473-1,505-12,606-12,800-3,961-8]),('`',fromList [2-14]),('p',fromList [2-12]),('x',fromList []),('\202505',fromList [2-10]),('\217616',fromList [94-11,515-5,783-12,962-6,1012-0]),('\315344',fromList [81-1,85-12,90-3,101-3,390-5,464-5,515-12,531-5,665-0,678-7,727-13]),('\719235',fromList [2-15]),('\762156',fromList []),('\765215',fromList [50-7,58-10,158-9,192-7,217-7,271-10,400-13,417-11,437-1,553-10,864-13,886-6]),('\963067',fromList [2-20]),('\1094216',fromList [23-4,127-1,139-11,173-2,419-7,434-5,667-4,688-0,806-8])]), version = 21}
        Use --quickcheck-replay=773260 to reproduce.

    TwoPSet
      Cm:                               FAIL (0.05s)
        *** Failed! Falsifiable (after 38 tests and 62 shrinks): 
        fromList "\f"
        Pid 0
        Pid 1
        Pid 2
        Right ((Remove '\f',Remove '\f'),(Remove '\f',Remove '\f'),fromList "\SOH\STX\b\f\DC2\FS$*+,/69BMOX]cd|\123777\135792\174032\265073\467051\544409\753314")
        Remove '\f' must be valid after Remove '\f' applied to fromList "\SOH\STX\b\f\DC2\FS$*+,/69BMOX]cd|\123777\135792\174032\265073\467051\544409\753314"
        Use --quickcheck-replay=20919 to reproduce.

  RGA
    Cm:                                 FAIL
      *** Failed! Falsifiable (after 7 tests and 5 shrinks): 
      RgaPayload {vertices = fromList [(0.13,Just '\81201'),(3.6,Nothing),(3.9,Just '\DC3'),(4.16,Just ')')], first = Just 4.16, edges = fromList [(3.6,3.9),(3.9,0.13),(4.16,3.6)]}
      Pid 0
      Pid 1
      Pid 2
      Right ((Remove 4.16,OpRemove 4.16),(AddAfter (Just 4.16) '5',OpAddAfter (Just 4.16) '5' 11.1),RgaPayload {vertices = fromList [(0.13,Just '\81201'),(3.6,Nothing),(3.9,Just '\DC3'),(4.16,Just ')'),(5.2,Just '\SI')], first = Just 5.2, edges = fromList [(3.6,3.9),(3.9,0.13),(4.16,3.6),(5.2,4.16)]})
      RgaPayload {vertices = fromList [(0.13,Just '\81201'),(3.6,Nothing),(3.9,Just '\DC3'),(4.16,Nothing),(5.2,Just '\SI'),(11.1,Just '5')], first = Just 5.2, edges = fromList [(3.6,3.9),(3.9,0.13),(4.16,11.1),(5.2,4.16),(11.1,3.6)]} /= RgaPayload {vertices = fromList [(0.13,Just '\81201'),(3.6,Nothing),(3.9,Just '\DC3'),(4.16,Nothing),(5.2,Just '\SI'),(11.1,Just '5')], first = Just 5.2, edges = fromList [(3.6,3.9),(3.9,0.13),(4.16,11.1),(5.2,4.16)]}
      Use --quickcheck-replay=784868 to reproduce.