Search asynchrony on new assumptions breaks tests

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

89 stars 18 forks source link

Closed robblanco closed 8 years ago

robblanco commented 8 years ago

Commit 9d66a81 breaks make test by falling out of sync with changed code.