Merge pull request #129 from timothy-king/regression-scrubber
authorClark Barrett <barrett@cs.stanford.edu>
Wed, 11 Jan 2017 22:20:22 +0000 (14:20 -0800)
committerGitHub <noreply@github.com>
Wed, 11 Jan 2017 22:20:22 +0000 (14:20 -0800)
commitf167e765f04a898931b6a40b887fb491a546303f
tree4c98ebec59874133f27d5038e5b8a6b80b87ab76
parent212dd7239f676eaac0d8be77afdc30e0d066b98d
parent1e7807069e07a710bafa83fc7412c3ac164249b8
Merge pull request #129 from timothy-king/regression-scrubber

Adding regression test scrubbing.