experiment: ci-run

workload: network-uri

strategy: quickcheck

property: PathSegmentsRoundTrip

mode: solve

status: failed

tool: quickcheck

counterexample: PathSegmentsArgs {psSegments = ["1"]}pathSegments of "http://example.com/1" = []; expected ["1"]


counterexample: PathSegmentsArgs {psSegments = ["1cq","ud9","uorf"]}pathSegments of "http://example.com/1cq/ud9/uorf" = ["1cq","ud9"]; expected ["1cq","ud9","uorf"]


counterexample: PathSegmentsArgs {psSegments = ["a","on","bl"]}pathSegments of "http://example.com/a/on/bl" = ["a","on"]; expected ["a","on","bl"]


counterexample: PathSegmentsArgs {psSegments = ["did3","c","06o","x"]}pathSegments of "http://example.com/did3/c/06o/x" = ["did3","c","06o"]; expected ["did3","c","06o","x"]


counterexample: PathSegmentsArgs {psSegments = ["41"]}pathSegments of "http://example.com/41" = []; expected ["41"]


counterexample: PathSegmentsArgs {psSegments = ["0y0","rhh"]}pathSegments of "http://example.com/0y0/rhh" = ["0y0"]; expected ["0y0","rhh"]


counterexample: PathSegmentsArgs {psSegments = ["g"]}pathSegments of "http://example.com/g" = []; expected ["g"]


counterexample: PathSegmentsArgs {psSegments = ["6ehh"]}pathSegments of "http://example.com/6ehh" = []; expected ["6ehh"]


counterexample: PathSegmentsArgs {psSegments = ["05x","lsxd","k"]}pathSegments of "http://example.com/05x/lsxd/k" = ["05x","lsxd"]; expected ["05x","lsxd","k"]


counterexample: PathSegmentsArgs {psSegments = ["7c6","jm"]}pathSegments of "http://example.com/7c6/jm" = ["7c6"]; expected ["7c6","jm"]


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify

counterexample: PathSegmentsArgs {psSegments = ["a"]}: pathSegments of "http://example.com/a" = []; expected ["a"]


strategy: smallcheck

tool: smallcheck

counterexample: CounterExample ["PathSegmentsArgs {psSegments = [\"a\"]}"] (PropertyFalse Nothing)