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 data.jsons
This file has been truncated, but you can view the full file.
{"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}}
View tstl_hypothesis.py
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()
View tstl_hypothesis.py
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 = {}
View crasher.c
#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;
}
View crasher.c
#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]);
View crasher.c.orig
/*
* This is a RANDOMLY GENERATED PROGRAM.
*
* Generator: csmith 2.3.0
* Git version: 30dccd7
* Options: (none)
* Seed: 5102155513851171502
*/
#include "csmith.h"
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,
You can’t perform that action at this time.