Skip to content

Instantly share code, notes, and snippets.

David R. MacIver DRMacIver

Block or report user

Report or block DRMacIver

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View sympy-report.json
{"Type: ZeroDivisionError\nMessage: integer division or modulo by zero\nLocation: core/numbers.py:2094": {"sizes": [10, 13, 7, 10, 8, 7, 15, 7, 9, 7, 7, 8, 11, 8, 10, 8, 7, 8, 10, 7, 10, 10, 7, 8, 7, 11, 11, 7, 12, 8, 8, 9, 7, 9, 10, 9, 15, 9, 8, 8, 8, 7, 11, 18, 10, 11, 8, 8, 10, 9, 9, 8, 7, 9, 8, 8, 9, 7, 7, 8, 8, 7, 10, 8, 8, 7, 9, 8, 11, 7, 7, 10, 8, 12, 12, 7, 8, 9, 10, 9, 13, 7, 9, 7, 9, 8, 8, 9, 12, 10, 7, 8, 10, 7, 7, 9, 9, 10, 7, 10, 8, 8, 8, 9, 9, 8, 8, 8, 13, 7, 8, 7, 8, 7, 8, 11, 10, 8, 10, 10, 9, 7, 9, 10, 9, 8, 8, 9, 8, 7, 8, 11, 9, 7, 9, 10, 9, 10, 9, 9, 9, 8, 10, 8, 8, 8, 8, 8, 8, 8, 7, 8, 7, 12, 8, 8, 8, 9, 9, 9, 8, 10, 8, 8, 9, 11, 11, 7, 10, 8, 8, 7, 7, 9, 11, 8, 10, 10, 8, 14, 7, 8, 8, 8, 10, 7, 10, 8, 12, 9, 7, 8, 8, 11, 15, 8, 8, 11, 9, 7, 7, 8, 8, 9, 9, 9, 10, 11, 7, 8, 8, 10, 11, 9, 10, 8, 8, 17, 7, 7, 7, 11, 10, 10, 7, 9, 8, 8, 7, 7, 8, 10, 8, 11, 9, 8, 9, 8, 7, 8, 12, 8, 7, 11, 8, 8, 9, 8, 9, 10, 8, 9, 7, 9, 7, 8, 8, 10, 8, 8, 7, 7, 7, 8, 11, 7, 7, 7, 9, 9, 12, 8, 7, 10, 9, 9, 9, 9,
View sympy-report.json
{"Type: ZeroDivisionError\nMessage: integer division or modulo by zero\nLocation: core/numbers.py:2094": {"sizes": [10, 13, 7, 10, 8, 7, 15, 7, 9, 7, 7, 8, 11, 8, 10, 8, 7, 8, 10, 7, 10, 10, 7, 8, 7, 11, 11, 7, 12, 8, 8, 9, 7, 9, 10, 9, 15, 9, 8, 8, 8, 7, 11, 18, 10, 11, 8, 8, 10, 9, 9, 8, 7, 9, 8, 8, 9, 7, 7, 8, 8, 7, 10, 8, 8, 7, 9, 8, 11, 7, 7, 10, 8, 12, 12, 7, 8, 9, 10, 9, 13, 7, 9, 7, 9, 8, 8, 9, 12, 10, 7, 8, 10, 7, 7, 9, 9, 10, 7, 10, 8, 8, 8, 9, 9, 8, 8, 8, 13, 7, 8, 7, 8, 7, 8, 11, 10, 8, 10, 10, 9, 7, 9, 10, 9, 8, 8, 9, 8, 7, 8, 11, 9, 7, 9, 10, 9, 10, 9, 9, 9, 8, 10, 8, 8, 8, 8, 8, 8, 8, 7, 8, 7, 12, 8, 8, 8, 9, 9, 9, 8, 10, 8, 8, 9, 11, 11, 7, 10, 8, 8, 7, 7, 9, 11, 8, 10, 10, 8, 14, 7, 8, 8, 8, 10, 7, 10, 8, 12, 9, 7, 8, 8, 11, 15, 8, 8, 11, 9, 7, 7, 8, 8, 9, 9, 9, 10, 11, 7, 8, 8, 10, 11, 9, 10, 8, 8, 17, 7, 7, 7, 11, 10, 10, 7, 9, 8, 8, 7, 7, 8, 10, 8, 11, 9, 8, 9, 8, 7, 8, 12, 8, 7, 11, 8, 8, 9, 8, 9, 10, 8, 9, 7, 9, 7, 8, 8, 10, 8, 8, 7, 7, 7, 8, 11, 7, 7, 7, 9, 9, 12, 8, 7, 10, 9, 9, 9, 9,
View sympy-report.json
{"Type: ZeroDivisionError\nMessage: integer division or modulo by zero\nLocation: core/numbers.py:2094": {"sizes": [10, 13, 7, 10, 8, 7, 15, 7, 9, 7, 7, 8, 11, 8, 10, 8, 7, 8, 10, 7, 10, 10, 7, 8, 7, 11, 11, 7, 12, 8, 8, 9, 7, 9, 10, 9, 15, 9, 8, 8, 8, 7, 11, 18, 10, 11, 8, 8, 10, 9, 9, 8, 7, 9, 8, 8, 9, 7, 7, 8, 8, 7, 10, 8, 8, 7, 9, 8, 11, 7, 7, 10, 8, 12, 12, 7, 8, 9, 10, 9, 13, 7, 9, 7, 9, 8, 8, 9, 12, 10, 7, 8, 10, 7, 7, 9, 9, 10, 7, 10, 8, 8, 8, 9, 9, 8, 8, 8, 13, 7, 8, 7, 8, 7, 8, 11, 10, 8, 10, 10, 9, 7, 9, 10, 9, 8, 8, 9, 8, 7, 8, 11, 9, 7, 9, 10, 9, 10, 9, 9, 9, 8, 10, 8, 8, 8, 8, 8, 8, 8, 7, 8, 7, 12, 8, 8, 8, 9, 9, 9, 8, 10, 8, 8, 9, 11, 11, 7, 10, 8, 8, 7, 7, 9, 11, 8, 10, 10, 8, 14, 7, 8, 8, 8, 10, 7, 10, 8, 12, 9, 7, 8, 8, 11, 15, 8, 8, 11, 9, 7, 7, 8, 8, 9, 9, 9, 10, 11, 7, 8, 8, 10, 11, 9, 10, 8, 8, 17, 7, 7, 7, 11, 10, 10, 7, 9, 8, 8, 7, 7, 8, 10, 8, 11, 9, 8, 9, 8, 7, 8, 12, 8, 7, 11, 8, 8, 9, 8, 9, 10, 8, 9, 7, 9, 7, 8, 8, 10, 8, 8, 7, 7, 7, 8, 11, 7, 7, 7, 9, 9, 12, 8, 7, 10, 9, 9, 9, 9,
View sympy-report.json
{"Type: ZeroDivisionError\nMessage: integer division or modulo by zero\nLocation: core/numbers.py:2094": {"sizes": [10, 13, 7, 10, 8, 7, 15, 7, 9, 7, 7, 8, 11, 8, 10, 8, 7, 8, 10, 7, 10, 10, 7, 8, 7, 11, 11, 7, 12, 8, 8, 9, 7, 9, 10, 9, 15, 9, 8, 8, 8, 7, 11, 18, 10, 11, 8, 8, 10, 9, 9, 8, 7, 9, 8, 8, 9, 7, 7, 8, 8, 7, 10, 8, 8, 7, 9, 8, 11, 7, 7, 10, 8, 12, 12, 7, 8, 9, 10, 9, 13, 7, 9, 7, 9, 8, 8, 9, 12, 10, 7, 8, 10, 7, 7, 9, 9, 10, 7, 10, 8, 8, 8, 9, 9, 8, 8, 8, 13, 7, 8, 7, 8, 7, 8, 11, 10, 8, 10, 10, 9, 7, 9, 10, 9, 8, 8, 9, 8, 7, 8, 11, 9, 7, 9, 10, 9, 10, 9, 9, 9, 8, 10, 8, 8, 8, 8, 8, 8, 8, 7, 8, 7, 12, 8, 8, 8, 9, 9, 9, 8, 10, 8, 8, 9, 11, 11, 7, 10, 8, 8, 7, 7, 9, 11, 8, 10, 10, 8, 14, 7, 8, 8, 8, 10, 7, 10, 8, 12, 9, 7, 8, 8, 11, 15, 8, 8, 11, 9, 7, 7, 8, 8, 9, 9, 9, 10, 11, 7, 8, 8, 10, 11, 9, 10, 8, 8, 17, 7, 7, 7, 11, 10, 10, 7, 9, 8, 8, 7, 7, 8, 10, 8, 11, 9, 8, 9, 8, 7, 8, 12, 8, 7, 11, 8, 8, 9, 8, 9, 10, 8, 9, 7, 9, 7, 8, 8, 10, 8, 8, 7, 7, 7, 8, 11, 7, 7, 7, 9, 9, 12, 8, 7, 10, 9, 9, 9, 9,
View reduction-stats.jsons
{"name": "40cb4536", "experiment": "csmith", "initial_size": 2338, "reducers": {"hypothesis": {"final_size": 950, "runtime": 187.4755763951689, "count": 635, "statistics": {"INTERESTING": {"count": 621, "runtime": 96.0966009311378}, "VALID": {"count": 14, "runtime": 3.789445074275136}}, "generation_statistics": {"INTERESTING": {"count": 621, "runtime": 29.471059961244464}, "OVERRUN": {"count": 1280, "runtime": 52.193448508158326}, "VALID": {"count": 14, "runtime": 0.6268392484635115}, "total": {"count": 1915, "runtime": 82.2913477178663}}}, "hypothesisflat": {"final_size": 764, "runtime": 184.23988826572895, "count": 708, "statistics": {"INTERESTING": {"count": 629, "runtime": 87.63305992819369}, "VALID": {"count": 79, "runtime": 18.494557458907366}}, "generation_statistics": {"INTERESTING": {"count": 629, "runtime": 22.14179498516023}, "OVERRUN": {"count": 1581, "runtime": 47.480914667248726}, "VALID": {"count": 79, "runtime": 2.65185640566051}, "total": {"count": 2289, "runtime": 72.27456605806947}}}, "cred
View reduction-stats.jsons
{"name": "40cb4536", "experiment": "csmith", "initial_size": 2338, "reducers": {"hypothesis": {"final_size": 950, "runtime": 187.4755763951689, "count": 635, "statistics": {"INTERESTING": {"count": 621, "runtime": 96.0966009311378}, "VALID": {"count": 14, "runtime": 3.789445074275136}}}, "hypothesisflat": {"final_size": 764, "runtime": 184.23988826572895, "count": 708, "statistics": {"INTERESTING": {"count": 629, "runtime": 87.63305992819369}, "VALID": {"count": 79, "runtime": 18.494557458907366}}}, "creduce": {"final_size": 78, "runtime": 654.131905855611, "count": 2925, "statistics": {"INTERESTING": {"count": 107, "runtime": 13.40801646374166}, "VALID": {"count": 2818, "runtime": 429.0567406397313}}}, "picire": {"final_size": 228, "runtime": 377.7659594081342, "count": 2502, "statistics": {"INTERESTING": {"count": 294, "runtime": 38.26908063143492}, "VALID": {"count": 2208, "runtime": 273.5524287633598}}}}}
{"name": "783a2c7a", "experiment": "csmith", "initial_size": 700, "reducers": {"hypothesis": {"final_
View reduction-stats.jsons
{"name": "40cb4536", "experiment": "csmith", "initial_size": 2338, "reducers": {"hypothesis": {"final_size": 733, "runtime": 154.82899760454893, "count": 404, "statistics": {"INTERESTING": {"count": 361, "runtime": 46.7982843965292}, "VALID": {"count": 43, "runtime": 9.86799262650311}}}, "hypothesisflat": {"final_size": 612, "runtime": 164.55863074213266, "count": 525, "statistics": {"INTERESTING": {"count": 486, "runtime": 64.92762210965157}, "VALID": {"count": 39, "runtime": 8.757086385041475}}}, "creduce": {"final_size": 78, "runtime": 616.8723419923335, "count": 2925, "statistics": {"INTERESTING": {"count": 107, "runtime": 12.941366016864777}, "VALID": {"count": 2818, "runtime": 406.6276081968099}}}, "picire": {"final_size": 228, "runtime": 326.91726298071444, "count": 2502, "statistics": {"INTERESTING": {"count": 294, "runtime": 34.581896213814616}, "VALID": {"count": 2208, "runtime": 239.677702749148}}}}}
{"name": "783a2c7a", "experiment": "csmith", "initial_size": 700, "reducers": {"hypothesis": {"fina
View shrunk-sizes.jsons
{"input":316,"output":2517}
{"input":172,"output":2516}
{"input":224,"output":2413}
{"input":272,"output":2837}
{"input":228,"output":3281}
{"input":288,"output":2549}
{"input":120,"output":3217}
{"input":344,"output":3282}
{"input":244,"output":3567}
{"input":308,"output":3412}
View csmith-single-sizes.jsons
{"name": "67b70991", "input_start": 0, "input_length": 308, "output_start": 0, "output_length": 3546, "interesting": true}
{"name": "3eafbdb4", "input_start": 308, "input_length": 308, "output_start": 3546, "output_length": 3545, "interesting": true}
{"name": "ff6ed9a8", "input_start": 616, "input_length": 308, "output_start": 7091, "output_length": 3545, "interesting": true}
{"name": "04eea4dd", "input_start": 924, "input_length": 308, "output_start": 10636, "output_length": 3545, "interesting": true}
{"name": "e516f29d", "input_start": 1232, "input_length": 308, "output_start": 14181, "output_length": 3545, "interesting": true}
{"name": "d291fe3f", "input_start": 1540, "input_length": 304, "output_start": 17726, "output_length": 3546, "interesting": true}
{"name": "596dcbec", "input_start": 1844, "input_length": 304, "output_start": 21272, "output_length": 3546, "interesting": true}
{"name": "8be9ce1c", "input_start": 2148, "input_length": 304, "output_start": 24818, "output_length": 3546, "interesting": tr
View csmith-single-sizes.jsons
{"name": "67b70991", "start": 0, "input_length": 308, "output_length": 3545, "interesting": true}
{"name": "f67e7194", "start": 308, "input_length": 308, "output_length": 3545, "interesting": true}
{"name": "1f11d6bc", "start": 616, "input_length": 308, "output_length": 3545, "interesting": true}
{"name": "cd116b09", "start": 924, "input_length": 308, "output_length": 3546, "interesting": true}
{"name": "8f5bfc99", "start": 1232, "input_length": 308, "output_length": 3545, "interesting": true}
{"name": "a9da2c13", "start": 1540, "input_length": 308, "output_length": 3545, "interesting": true}
{"name": "54f4152a", "start": 1848, "input_length": 220, "output_length": 3474, "interesting": true}
{"name": "3dec950f", "start": 2068, "input_length": 220, "output_length": 3474, "interesting": true}
{"name": "b8b5ec46", "start": 2288, "input_length": 220, "output_length": 3474, "interesting": true}
{"name": "17aa8db4", "start": 2508, "input_length": 220, "output_length": 3474, "interesting": true}
You can’t perform that action at this time.