DeBruijnZeroArgs {dbAlphabet = [1,0,2,2]}deBruijn 0 [1,0,2,2]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [4,5]}deBruijn 0 [4,5]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [3]}deBruijn 0 [3]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [1]}deBruijn 0 [1]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [5]}deBruijn 0 [5]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = []}deBruijn 0 []: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [3,2,5,3]}deBruijn 0 [3,2,5,3]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [3,0,1]}deBruijn 0 [3,0,1]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = [0,0,2]}deBruijn 0 [0,0,2]: edgeList = []; expected [([],[])]


DeBruijnZeroArgs {dbAlphabet = []}: deBruijn 0 []: edgeList = []; expected [([],[])]


CounterExample ["DeBruijnZeroArgs {dbAlphabet = []}"] (PropertyFalse Nothing)


ShowParensArgs {spVertices = [2,-2,0,3], spEdges = [(3,-1),(3,0)]}show g = "overlay (vertices [-2,2]) (edges [(3,-1),(3,0)])"; show (Just g) = "Just overlay (vertices [-2,2]) (edges [(3,-1),(3,0)])"; expected "Just (overlay (vertices [-2,2]) (edges [(3,-1),(3,0)]))"


ShowParensArgs {spVertices = [2], spEdges = [(1,-1)]}show g = "overlay (vertex 2) (edge 1 -1)"; show (Just g) = "Just overlay (vertex 2) (edge 1 -1)"; expected "Just (overlay (vertex 2) (edge 1 -1))"


ShowParensArgs {spVertices = [2], spEdges = [(3,3)]}show g = "overlay (vertex 2) (edge 3 3)"; show (Just g) = "Just overlay (vertex 2) (edge 3 3)"; expected "Just (overlay (vertex 2) (edge 3 3))"


ShowParensArgs {spVertices = [1,2,3,-1], spEdges = []}show g = "vertices [-1,1,2,3]"; show (Just g) = "Just vertices [-1,1,2,3]"; expected "Just (vertices [-1,1,2,3])"


ShowParensArgs {spVertices = [3,3,0], spEdges = []}show g = "vertices [0,3]"; show (Just g) = "Just vertices [0,3]"; expected "Just (vertices [0,3])"


ShowParensArgs {spVertices = [], spEdges = [(-3,-3)]}: show g = "edge -3 -3"; show (Just g) = "Just edge -3 -3"; expected "Just (edge -3 -3)"


ShowParensArgs {spVertices = [-3], spEdges = []}: show g = "vertex -3"; show (Just g) = "Just vertex -3"; expected "Just (vertex -3)"


CounterExample ["ShowParensArgs {spVertices = [], spEdges = [(0,0)]}"] (PropertyFalse Nothing)


MinimumIdentityArgs {miValue = 10}mempty <> Minimum(pure (Sum 10)) = Sum {getSum = 0}; expected Sum {getSum = 10}


MinimumIdentityArgs {miValue = 28}mempty <> Minimum(pure (Sum 28)) = Sum {getSum = 0}; expected Sum {getSum = 28}


MinimumIdentityArgs {miValue = 88}mempty <> Minimum(pure (Sum 88)) = Sum {getSum = 0}; expected Sum {getSum = 88}


MinimumIdentityArgs {miValue = 32}mempty <> Minimum(pure (Sum 32)) = Sum {getSum = 0}; expected Sum {getSum = 32}


MinimumIdentityArgs {miValue = 90}mempty <> Minimum(pure (Sum 90)) = Sum {getSum = 0}; expected Sum {getSum = 90}


MinimumIdentityArgs {miValue = 87}mempty <> Minimum(pure (Sum 87)) = Sum {getSum = 0}; expected Sum {getSum = 87}


MinimumIdentityArgs {miValue = 44}mempty <> Minimum(pure (Sum 44)) = Sum {getSum = 0}; expected Sum {getSum = 44}


MinimumIdentityArgs {miValue = 63}mempty <> Minimum(pure (Sum 63)) = Sum {getSum = 0}; expected Sum {getSum = 63}


MinimumIdentityArgs {miValue = 55}mempty <> Minimum(pure (Sum 55)) = Sum {getSum = 0}; expected Sum {getSum = 55}


MinimumIdentityArgs {miValue = 4}mempty <> Minimum(pure (Sum 4)) = Sum {getSum = 0}; expected Sum {getSum = 4}


MinimumIdentityArgs {miValue = 1}: mempty <> Minimum(pure (Sum 1)) = Sum {getSum = 0}; expected Sum {getSum = 1}


CounterExample ["MinimumIdentityArgs {miValue = 1}"] (PropertyFalse Nothing)


ExtendedZeroArgs {ezSeed = 0}unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both


ExtendedZeroArgs {ezSeed = 0}: unsafeFinite 0 * infinite = infinite; infinite * unsafeFinite 0 = infinite; expected unsafeFinite 0 in both


CounterExample ["ExtendedZeroArgs {ezSeed = 0}"] (PropertyFalse Nothing)