Closed asr closed 7 years ago
For example, given the file refl.fof:
refl.fof
fof(refl, conjecture, ! [X] : X = X).
Works:
$ equinox refl.fof Equinox, version 6.0.1alpha, 2011-12-07, pre-release. +++ PROBLEM: refl.fof Reading 'refl.fof' ... OK +++ SOLVING: refl.fof #elt|#instances +++ RESULT: Theorem
Fails:
$ equinox --time 10 refl.fof Equinox, version 6.0.1alpha, 2011-12-07, pre-release. equinox: <<loop>>
Even the --help option fails:
--help
$ equinox --help Equinox, version 6.0.1alpha, 2011-12-07, pre-release. Usage: equinox <option>* <file>* <file> should be in TPTP format. <option> can be any of the following: equinox: <<loop>>
Tested with GHC 7.10.3 and 8.0.1.
CCing @jonaprieto
I had actually fixed this locally and forgotten to push it!
Thanks!
For example, given the file
refl.fof
:Works:
Fails:
Even the
--help
option fails:Tested with GHC 7.10.3 and 8.0.1.
CCing @jonaprieto