Fix incorrect timeout and remove flaky counterexample code #38

Merged
merged 1 commit into from Feb 16, 2012

3 participants

@Vagabond

Also, cleanup an unused var.

@Vagabond Vagabond merged commit f5c2ef6 into master Feb 16, 2012
@engelsanchez engelsanchez deleted the adt-fix-eqc-test branch Mar 3, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment