Commit Graph

1 Commits

Author SHA1 Message Date
Michael Gottesman
0403feba82 [bug-reducer-tester] Add support for causing a miscompile instead of just asserting.
Previously, bug reducer tester would just assert when it saw a direct apply to
its target function. Now we add support for also causing a miscompile by just
deleting the apply. This is tested by eliminating an apply to putchar to ensure
we are not dependent on any stdlib details.
2017-01-04 15:21:30 -08:00