Skip to content

Instantly share code, notes, and snippets.

@jlouis

jlouis/problem?.txt

Created September 7, 2014 18:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jlouis/bfe8f932f1650de92a17 to your computer and use it in GitHub Desktop.
Save jlouis/bfe8f932f1650de92a17 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
problem?.txt
86> eqc:quickcheck(transit_eqc:prop_iso_json_verbose()).
..............................................................................................Failed! After 95 tests.
#{4436653002 => ferb,
5011044860 => {tagged_value,<<"u">>,<<"a324f310-c501-70cd-fc42-9fa0d338a2be">>},
7244902917 => phineas,
9902687802 => <<243,130,156,156,242,175,144,182,243,138,135,130,241,179,179,172,240,148,
189,144,242,135,131,184,242,166,183,178,240,183,172,145,243,162,163,151,
242,142,161,191,241,129,145,131>>,
'Z' => <<>>,
undefined => ab,
{transit_datetime,{11,397133,962000}} => '~n',
{transit_datetime,{20,604233,708000}} => -1702153900,
{transit_datetime,{22,775839,627000}} => undefined,
{transit_datetime,{31,458072,234000}} => 'o!,:T(\\U',
{tagged_value,<<"$">>,
<<230,151,157,242,165,189,129,240,177,176,139,241,188,140,188>>} => undefined,
{tagged_value,<<"$">>,
<<240,180,151,136,243,135,161,189,242,162,136,190,241,166,131,
171,241,185,167,136,242,175,133,152>>} => -10,
{tagged_value,<<"$">>,
<<240,186,155,149,240,181,187,174,240,153,172,150,242,131,135,
166,241,131,133,188,243,130,164,149,242,152,163,189,240,148,
128,150,240,177,175,134,241,147,179,155>>} => {tagged_value,<<"$">>,<<"ab">>},
{tagged_value,<<"$">>,
<<243,141,149,191,241,139,155,176,241,182,160,135,231,158,190,
243,155,145,149,241,152,166,180,240,190,162,169,238,185,173>>} => {transit_datetime,{20,448876,895000}},
{tagged_value,<<"$">>,<<243,174,183,155,241,133,153,138,242,150,149,184>>} => {tagged_value,<<"$">>,
<<243,173,134,191,241,133,140,190,243,180,132,146,242,173,190,
187,243,153,140,136,243,150,159,156,243,156,169,148,242,155,
148,135,241,145,140,140,240,181,153,168>>},
{tagged_value,<<"u">>,<<"08f7fe71-1070-4345-a252-7f0724608fe6">>} => {transit_datetime,{15,520256,575000}},
{tagged_value,<<"u">>,<<"4040908a-783b-47a7-9fde-fff8040aba59">>} => undefined,
{tagged_value,<<"u">>,<<"4236b550-00de-f0ac-3abf-14250dc28585">>} => {transit_datetime,{12,165752,72000}},
{tagged_value,<<"u">>,<<"706998d9-7a0c-0a9b-17d5-1840b630a728">>} => {tagged_value,<<"$">>,<<"abcdefg">>},
{tagged_value,<<"u">>,<<"b0ea26b5-c974-813a-5be1-d7c4fe21a024">>} => {tagged_value,<<"u">>,<<"7b4ebcb3-0e70-8316-e76f-ca463210f38c">>},
{tagged_value,<<"u">>,<<"c762ae1a-f244-7d11-0e25-ac91c48bd9b0">>} => {transit_datetime,{22,869945,242000}},
{tagged_value,<<"u">>,<<"ed9327c2-618b-e07d-b94b-ba904153af41">>} => candace,
<<>> => {tagged_value,<<"$">>,<<"candace">>},
<<240,160,159,166,236,153,160>> => <<239,132,182,240,188,170,150,240,146,175,153,242,143,130,146,241,141,136,
175,226,169,191>>,
<<243,130,128,128,242,190,135,186,242,150,137,163,242,158,184,137,242,157,
182,146,242,144,187,173,243,175,159,129>> => undefined,
<<243,161,177,185,241,137,128,174,242,146,159,168,243,162,144,131,242,159,
144,145,241,170,176,180,240,145,178,134,242,157,162,170,241,139,164,146,
233,130,188,242,128,177,191>> => {tagged_value,<<"u">>,<<"ef5a0950-7fbe-27bb-3fc4-94750b80ae64">>},
<<243,164,149,152,226,128,158,242,149,135,146,241,136,144,169,243,153,139,
153,243,144,189,173,243,164,135,191,242,185,169,164>> => {tagged_value,<<"$">>,
<<241,143,181,181,241,128,158,186,240,145,132,143,242,146,
157,179,242,130,150,132>>}}
#{4436653002 => ferb,
5011044860 => {tagged_value,<<"u">>,<<"a324f310-c501-70cd-fc42-9fa0d338a2be">>},
7244902917 => phineas,
9902687802 => <<243,130,156,156,242,175,144,182,243,138,135,130,241,179,179,172,240,148,
189,144,242,135,131,184,242,166,183,178,240,183,172,145,243,162,163,151,
242,142,161,191,241,129,145,131>>,
'Z' => <<>>,
undefined => ab,
{transit_datetime,{11,397133,962000}} => '~n',
{transit_datetime,{20,604233,708000}} => -1702153900,
{transit_datetime,{22,775839,627000}} => undefined,
{transit_datetime,{31,458072,234000}} => 'o!,:T(\\U',
{tagged_value,<<"$">>,
<<230,151,157,242,165,189,129,240,177,176,139,241,188,140,188>>} => undefined,
{tagged_value,<<"$">>,
<<240,180,151,136,243,135,161,189,242,162,136,190,241,166,131,
171,241,185,167,136,242,175,133,152>>} => -10,
{tagged_value,<<"$">>,
<<240,186,155,149,240,181,187,174,240,153,172,150,242,131,135,
166,241,131,133,188,243,130,164,149,242,152,163,189,240,148,
128,150,240,177,175,134,241,147,179,155>>} => {tagged_value,<<"$">>,<<"ab">>},
{tagged_value,<<"$">>,
<<243,141,149,191,241,139,155,176,241,182,160,135,231,158,190,
243,155,145,149,241,152,166,180,240,190,162,169,238,185,173>>} => {transit_datetime,{20,448876,895000}},
{tagged_value,<<"$">>,<<243,174,183,155,241,133,153,138,242,150,149,184>>} => {tagged_value,<<"$">>,
<<243,173,134,191,241,133,140,190,243,180,132,146,242,173,190,
187,243,153,140,136,243,150,159,156,243,156,169,148,242,155,
148,135,241,145,140,140,240,181,153,168>>},
{tagged_value,<<"u">>,<<"08f7fe71-1070-4345-a252-7f0724608fe6">>} => {transit_datetime,{15,520256,575000}},
{tagged_value,<<"u">>,<<"4040908a-783b-47a7-9fde-fff8040aba59">>} => undefined,
{tagged_value,<<"u">>,<<"4236b550-00de-f0ac-3abf-14250dc28585">>} => {transit_datetime,{12,165752,72000}},
{tagged_value,<<"u">>,<<"706998d9-7a0c-0a9b-17d5-1840b630a728">>} => {tagged_value,<<"$">>,<<"abcdefg">>},
{tagged_value,<<"u">>,<<"b0ea26b5-c974-813a-5be1-d7c4fe21a024">>} => {tagged_value,<<"u">>,<<"7b4ebcb3-0e70-8316-e76f-ca463210f38c">>},
{tagged_value,<<"u">>,<<"c762ae1a-f244-7d11-0e25-ac91c48bd9b0">>} => {transit_datetime,{22,869945,242000}},
{tagged_value,<<"u">>,<<"ed9327c2-618b-e07d-b94b-ba904153af41">>} => candace,
<<>> => {tagged_value,<<"$">>,<<"candace">>},
<<240,160,159,166,236,153,160>> => <<239,132,182,240,188,170,150,240,146,175,153,242,143,130,146,241,141,136,
175,226,169,191>>,
<<243,130,128,128,242,190,135,186,242,150,137,163,242,158,184,137,242,157,
182,146,242,144,187,173,243,175,159,129>> => undefined,
<<243,161,177,185,241,137,128,174,242,146,159,168,243,162,144,131,242,159,
144,145,241,170,176,180,240,145,178,134,242,157,162,170,241,139,164,146,
233,130,188,242,128,177,191>> => {tagged_value,<<"u">>,<<"ef5a0950-7fbe-27bb-3fc4-94750b80ae64">>},
<<243,164,149,152,226,128,158,242,149,135,146,241,136,144,169,243,153,139,
153,243,144,189,173,243,164,135,191,242,185,169,164>> => {tagged_value,<<"$">>,
<<241,143,181,181,241,128,158,186,240,145,132,143,242,146,
157,179,242,130,150,132>>}} /= #{4436653002 => ferb,
5011044860 => {tagged_value,<<"u">>,
<<"a324f310-c501-70cd-fc42-9fa0d338a2be">>},
7244902917 => phineas,
9902687802 => <<243,130,156,156,242,175,
144,182,243,138,135,130,
241,179,179,172,240,148,
189,144,242,135,131,184,
242,166,183,178,240,183,
172,145,243,162,163,151,
242,142,161,191,241,129,
145,131>>,
'Z' => <<>>,
undefined => ab,
{transit_datetime,{11,
397133,
962000}} => '~~n',
{transit_datetime,{20,
604233,
708000}} => -1702153900,
{transit_datetime,{22,
775839,
627000}} => undefined,
{transit_datetime,{31,
458072,
234000}} => 'o!,:T(\\U',
{tagged_value,<<"$">>,
<<230,151,
157,242,
165,189,
129,240,
177,176,
139,241,
188,140,188>>} => undefined,
{tagged_value,<<"$">>,
<<240,180,
151,136,
243,135,
161,189,
242,162,
136,190,
241,166,
131,171,
241,185,
167,136,
242,175,
133,152>>} => -10,
{tagged_value,<<"$">>,
<<240,186,
155,149,
240,181,
187,174,
240,153,
172,150,
242,131,
135,166,
241,131,
133,188,
243,130,
164,149,
242,152,
163,189,
240,148,
128,150,
240,177,
175,134,
241,147,
179,155>>} => {tagged_value,<<"$">>,
<<"ab">>},
{tagged_value,<<"$">>,
<<243,141,
149,191,
241,139,
155,176,
241,182,
160,135,
231,158,
190,243,
155,145,
149,241,
152,166,
180,240,
190,162,
169,238,
185,173>>} => {transit_datetime,{20,
448876,
895000}},
{tagged_value,<<"$">>,
<<243,174,
183,155,
241,133,
153,138,
242,150,
149,184>>} => {tagged_value,<<"$">>,
<<243,173,
134,191,
241,133,
140,190,
243,180,
132,146,
242,173,
190,187,
243,153,
140,136,
243,150,
159,156,
243,156,
169,148,
242,155,
148,135,
241,145,
140,140,
240,181,
153,168>>},
{tagged_value,<<"u">>,
<<"08f7fe71-1070-4345-a252-7f0724608fe6">>} => {transit_datetime,{15,
520256,
575000}},
{tagged_value,<<"u">>,
<<"4040908a-783b-47a7-9fde-fff8040aba59">>} => undefined,
{tagged_value,<<"u">>,
<<"4236b550-00de-f0ac-3abf-14250dc28585">>} => {transit_datetime,{12,
165752,
72000}},
{tagged_value,<<"u">>,
<<"706998d9-7a0c-0a9b-17d5-1840b630a728">>} => {tagged_value,<<"$">>,
<<"abcdefg">>},
{tagged_value,<<"u">>,
<<"b0ea26b5-c974-813a-5be1-d7c4fe21a024">>} => {tagged_value,<<"u">>,
<<"7b4ebcb3-0e70-8316-e76f-ca463210f38c">>},
{tagged_value,<<"u">>,
<<"c762ae1a-f244-7d11-0e25-ac91c48bd9b0">>} => {transit_datetime,{22,
869945,
242000}},
{tagged_value,<<"u">>,
<<"ed9327c2-618b-e07d-b94b-ba904153af41">>} => candace,
<<>> => {tagged_value,<<"$">>,
<<"candace">>},
<<240,160,159,166,236,153,
160>> => <<239,132,182,240,188,170,
150,240,146,175,153,242,
143,130,146,241,141,136,
175,226,169,191>>,
<<243,130,128,128,242,190,
135,186,242,150,137,163,
242,158,184,137,242,157,
182,146,242,144,187,173,
243,175,159,129>> => undefined,
<<243,161,177,185,241,137,
128,174,242,146,159,168,
243,162,144,131,242,159,
144,145,241,170,176,180,
240,145,178,134,242,157,
162,170,241,139,164,146,
233,130,188,242,128,177,
191>> => {tagged_value,<<"u">>,
<<"ef5a0950-7fbe-27bb-3fc4-94750b80ae64">>},
<<243,164,149,152,226,128,
158,242,149,135,146,241,
136,144,169,243,153,139,
153,243,144,189,173,243,
164,135,191,242,185,169,
164>> => {tagged_value,<<"$">>,
<<241,143,
181,181,
241,128,
158,186,
240,145,
132,143,
242,146,
157,179,
242,130,
150,132>>}}
Shrinking xxxxx.........................xxx..xx..xxxx...xx..xxxxxxxxxxxxx...xx...xxxxxx..xx.xxxxxxxxxxxxxxxxxx(x10)xx.xx.xxxx...xx....xx...xxxxxxxxxxx.xxxxxxxxxx(x1)...xxxxxxxx(176 times)
#{undefined => '~^'}
#{undefined => '~^'} /= #{undefined => '~~^'}
false
87>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment