experiment: ci-run

workload: pretty-simple

strategy: quickcheck

property: IdentifierNotSplit

mode: solve

status: failed

tool: quickcheck

counterexample: IdentDigitsArgs {identPrefix = "_WgCGXl", trailingDigits = "53"}expressionParse "_WgCGXl53" = [Other "_WgCGXl",NumberLit "53"]; expected [Other "_WgCGXl53"]


counterexample: IdentDigitsArgs {identPrefix = "UJNx", trailingDigits = "237"}expressionParse "UJNx237" = [Other "UJNx",NumberLit "237"]; expected [Other "UJNx237"]


counterexample: IdentDigitsArgs {identPrefix = "zNKVN", trailingDigits = "171"}expressionParse "zNKVN171" = [Other "zNKVN",NumberLit "171"]; expected [Other "zNKVN171"]


counterexample: IdentDigitsArgs {identPrefix = "PqqVBoM", trailingDigits = "1661"}expressionParse "PqqVBoM1661" = [Other "PqqVBoM",NumberLit "1661"]; expected [Other "PqqVBoM1661"]


counterexample: IdentDigitsArgs {identPrefix = "Z", trailingDigits = "2331"}expressionParse "Z2331" = [Other "Z",NumberLit "2331"]; expected [Other "Z2331"]


counterexample: IdentDigitsArgs {identPrefix = "Yk", trailingDigits = "02"}expressionParse "Yk02" = [Other "Yk",NumberLit "02"]; expected [Other "Yk02"]


counterexample: IdentDigitsArgs {identPrefix = "HDFMQ_", trailingDigits = "9309"}expressionParse "HDFMQ_9309" = [Other "HDFMQ_",NumberLit "9309"]; expected [Other "HDFMQ_9309"]


counterexample: IdentDigitsArgs {identPrefix = "Nmalt", trailingDigits = "4373"}expressionParse "Nmalt4373" = [Other "Nmalt",NumberLit "4373"]; expected [Other "Nmalt4373"]


counterexample: IdentDigitsArgs {identPrefix = "unBoMZg", trailingDigits = "09"}expressionParse "unBoMZg09" = [Other "unBoMZg",NumberLit "09"]; expected [Other "unBoMZg09"]


counterexample: IdentDigitsArgs {identPrefix = "EvDFl", trailingDigits = "5"}expressionParse "EvDFl5" = [Other "EvDFl",NumberLit "5"]; expected [Other "EvDFl5"]


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify

counterexample: IdentDigitsArgs {identPrefix = "a", trailingDigits = "0"}: expressionParse "a0" = [Other "a",NumberLit "0"]; expected [Other "a0"]


strategy: smallcheck

tool: smallcheck

counterexample: CounterExample ["IdentDigitsArgs {identPrefix = \"a\", trailingDigits = \"0\"}"] (PropertyFalse Nothing)


property: ApostropheInIdentifier

counterexample: IdentApostropheArgs {apostIdent = "u", apostropheCount = 1}expressionParse "u'" = [Other "u",CharLit ""]; expected [Other "u'"]


counterexample: IdentApostropheArgs {apostIdent = "Ub", apostropheCount = 3}expressionParse "Ub'''" = [Other "Ub",CharLit "",CharLit ""]; expected [Other "Ub'''"]


counterexample: IdentApostropheArgs {apostIdent = "W", apostropheCount = 3}expressionParse "W'''" = [Other "W",CharLit "",CharLit ""]; expected [Other "W'''"]


counterexample: IdentApostropheArgs {apostIdent = "auLTWO", apostropheCount = 1}expressionParse "auLTWO'" = [Other "auLTWO",CharLit ""]; expected [Other "auLTWO'"]


counterexample: IdentApostropheArgs {apostIdent = "XIXa", apostropheCount = 3}expressionParse "XIXa'''" = [Other "XIXa",CharLit "",CharLit ""]; expected [Other "XIXa'''"]


counterexample: IdentApostropheArgs {apostIdent = "ItiWgw", apostropheCount = 1}expressionParse "ItiWgw'" = [Other "ItiWgw",CharLit ""]; expected [Other "ItiWgw'"]


counterexample: IdentApostropheArgs {apostIdent = "DyJXl", apostropheCount = 2}expressionParse "DyJXl''" = [Other "DyJXl",CharLit ""]; expected [Other "DyJXl''"]


counterexample: IdentApostropheArgs {apostIdent = "AYDP", apostropheCount = 2}expressionParse "AYDP''" = [Other "AYDP",CharLit ""]; expected [Other "AYDP''"]


counterexample: IdentApostropheArgs {apostIdent = "gOqu", apostropheCount = 1}expressionParse "gOqu'" = [Other "gOqu",CharLit ""]; expected [Other "gOqu'"]


counterexample: IdentApostropheArgs {apostIdent = "FDi", apostropheCount = 2}expressionParse "FDi''" = [Other "FDi",CharLit ""]; expected [Other "FDi''"]


counterexample: IdentApostropheArgs {apostIdent = "a", apostropheCount = 1}: expressionParse "a'" = [Other "a",CharLit ""]; expected [Other "a'"]


counterexample: CounterExample ["IdentApostropheArgs {apostIdent = \"a\", apostropheCount = 1}"] (PropertyFalse Nothing)