Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
At times spew can choke on a data structure like our smt tree. Not sure why this didn't really care before, but does now. Either way, allows a test to proceed.
- Loading branch information