Fix issues identified by Ezequiel

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

33 stars 25 forks source link

Fix issues identified by Ezequiel #118

Closed jgorzny closed 8 years ago

jgorzny commented 8 years ago

Includes bug fixes for issues identified by Ezequiel during Google Summer of Code 2016

jgorzny commented 8 years ago

Looks like the tests are not passing online, but they work locally. I see that this has been happening for other pull requests, so I'm going to leave this as is for now until you say otherwise. I couldn't find the issue tonight.

ceilican commented 8 years ago

The travis configuration is badly specified. That's why the tests are failing. You can ignore these failures.

ceilican commented 8 years ago

Thanks!