DRMacIver

{"experiment": "sympy-1.1.1", "seed": 179540526898165123797060690791111459212044264363, "bug": ["TypeError", "/mnt/storage/SSD1/projects/tstl-hypothesis-experiments/.working/virtualenvs/sympy-1.1.1-dfca6c65a1/lib/python3.7/site-packages/sympy/core/numbers.py", 90], "original": 45, "internal": {"result": 9, "calls": 1322}, "internal_delete_only:": {"result": 14, "calls": 239}, "external": {"result": 8, "calls": 36}}
{"experiment": "sympy-1.1.1", "seed": 52045884472328045539590115091521681625464858836, "bug": ["AssertionError", "/mnt/storage/SSD1/projects/tstl-hypothesis-experiments/.working/virtualenvs/sympy-1.1.1-dfca6c65a1/lib/python3.7/site-packages/sympy/core/expr.py", 3329], "original": 78, "internal": {"result": 9, "calls": 1247}, "internal_delete_only:": {"result": 18, "calls": 411}, "external": {"result": 16, "calls": 116}}
{"experiment": "sympy-1.1.1", "seed": 1090254532493619219481879901971651147309059189933, "bug": ["NotAlgebraic", "/mnt/storage/SSD1/projects/tstl-hypothesis-experiments/.working/vir

DRMacIver

import sys
from hypothesis import given, strategies as st, settings, Verbosity, HealthCheck
from hypothesis.searchstrategy.featureflags import FeatureStrategy
import traceback


if __name__ == '__main__':
    target = sys.argv[1]
    with open(target) as i:
        source = i.read()

DRMacIver

import sys
from hypothesis import given, strategies as st, settings, Verbosity


if __name__ == '__main__':
    target = sys.argv[1]
    with open(target) as i:
        source = i.read()

    exec_globals = {}

DRMacIver

#include "csmith.h"
int16_t a;
int32_t volatile b;
static int32_t *c(uint8_t, uint32_t, uint16_t);
static uint32_t d();
int32_t e() {
  uint32_t f[][1] = {1};
  c(a, d(), f[0][0]);
  return 0;
}

DRMacIver

#include "csmith.h"
int16_t c;
int32_t *d;
int32_t **e[];
static int32_t *f(uint8_t, uint32_t, uint16_t);
static uint32_t g();
static int32_t **h(int32_t *, int16_t);
int32_t i() {
  uint32_t o[][1] = {};
  f(c, g(), o[0][0]);

DRMacIver

/*
 * This is a RANDOMLY GENERATED PROGRAM.
 *
 * Generator: csmith 2.3.0
 * Git version: 30dccd7
 * Options:   (none)
 * Seed:      5102155513851171502
 */

#include "csmith.h"

DRMacIver

DRMacIver

{"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, 

DRMacIver

{"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, 

DRMacIver

{"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,