experiment: ci-run

workload: tagsoup

strategy: quickcheck

property: EscapeQuoteApostropheSafe

mode: solve

status: failed

tool: quickcheck

counterexample: QuoteSafeArgs {quoteSafeInput = "(tO#oc]'`E?G"}escapeXML "(tO#oc]'`E?G" = "(tO#oc]'`E?G"; expected 1 ' sequences, got 0 (rebuilt="(tO#oc]'`E?G")


counterexample: QuoteSafeArgs {quoteSafeInput = "d)^'\"Vk]x"}escapeXML "d)^'\"Vk]x" = "d)^'"Vk]x"; expected 1 ' sequences, got 0 (rebuilt="d)^'"Vk]x")


counterexample: QuoteSafeArgs {quoteSafeInput = ",+'<)1aG'&Q/("}escapeXML ",+'<)1aG'&Q/(" = ",+'<)1aG'&Q/("; expected 2 ' sequences, got 0 (rebuilt=",+'<)1aG'&Q/(")


counterexample: QuoteSafeArgs {quoteSafeInput = "k+',T`xF+"}escapeXML "k+',T`xF+" = "k+',T`xF+"; expected 1 ' sequences, got 0 (rebuilt="k+',T`xF+")


counterexample: QuoteSafeArgs {quoteSafeInput = "O'6e"}escapeXML "O'6e" = "O'6e"; expected 1 ' sequences, got 0 (rebuilt="O'6e")


counterexample: QuoteSafeArgs {quoteSafeInput = "ZUySp07Fpo'G"}escapeXML "ZUySp07Fpo'G" = "ZUySp07Fpo'G"; expected 1 ' sequences, got 0 (rebuilt="ZUySp07Fpo'G")


counterexample: QuoteSafeArgs {quoteSafeInput = "fUw41w{'"}escapeXML "fUw41w{'" = "fUw41w{'"; expected 1 ' sequences, got 0 (rebuilt="fUw41w{'")


counterexample: QuoteSafeArgs {quoteSafeInput = "HTBGI'&:2t1"}escapeXML "HTBGI'&:2t1" = "HTBGI'&:2t1"; expected 1 ' sequences, got 0 (rebuilt="HTBGI'&:2t1")


counterexample: QuoteSafeArgs {quoteSafeInput = "E2L'"}escapeXML "E2L'" = "E2L'"; expected 1 ' sequences, got 0 (rebuilt="E2L'")


counterexample: QuoteSafeArgs {quoteSafeInput = "(CG'< \""}escapeXML "(CG'< \"" = "(CG'< ""; expected 1 ' sequences, got 0 (rebuilt="(CG'< "")


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify

counterexample: QuoteSafeArgs {quoteSafeInput = "'"}: escapeXML "'" = "'"; expected 1 ' sequences, got 0 (rebuilt="'")


strategy: smallcheck

tool: smallcheck

counterexample: CounterExample ["QuoteSafeArgs {quoteSafeInput = \"'\"}"] (PropertyFalse Nothing)


counterexample: HexEntityArgs {hexEntityDigits = "f"}lookupNumericEntity "xf" = Just "\SI"; lookupNumericEntity "Xf" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "c"}lookupNumericEntity "xc" = Just "\f"; lookupNumericEntity "Xc" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "285B"}lookupNumericEntity "x285B" = Just "\10331"; lookupNumericEntity "X285B" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "8eCd"}lookupNumericEntity "x8eCd" = Just "\36557"; lookupNumericEntity "X8eCd" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "E3"}lookupNumericEntity "xE3" = Just "\227"; lookupNumericEntity "XE3" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "0fa8"}lookupNumericEntity "x0fa8" = Just "\4008"; lookupNumericEntity "X0fa8" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "92"}lookupNumericEntity "x92" = Just "\146"; lookupNumericEntity "X92" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "ebA0"}lookupNumericEntity "xebA0" = Just "\60320"; lookupNumericEntity "XebA0" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "b2"}lookupNumericEntity "xb2" = Just "\178"; lookupNumericEntity "Xb2" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "0"}lookupNumericEntity "x0" = Just "\NUL"; lookupNumericEntity "X0" = Nothing (expected equal Just _)


counterexample: HexEntityArgs {hexEntityDigits = "0"}: lookupNumericEntity "x0" = Just "\NUL"; lookupNumericEntity "X0" = Nothing (expected equal Just _)


counterexample: CounterExample ["HexEntityArgs {hexEntityDigits = \"0\"}"] (PropertyFalse Nothing)


property: LookupNumericEntityNoCrash

status: passed