[opentheory-users] Overflow

[Ramana Kumar]

Unfortunately, I have not been able to produce a small test case, but there
is a large-ish one (12MB compressed) available here:
https://hol-theorem-prover.org/overflow.tar.gz.

It contains three files, hol4-words.thy, hol4-words-unint.art, and hol4.int.

To produce the error, edit the paths in hol4-words.thy to point to the
other two files, then try this:
opentheory info --theory hol4-words.thy

On 21 April 2016 at 02:28, Joe Leslie-Hurd <joe at gilith.com> wrote:

> It means that an integer overflow is occurring somewhere in the
> processing, which shouldn't happen. If you give me a test case where
> this occurs (the smaller the better) I can look into it.
>
> Cheers,
>
> Joe
>
> On Tue, Apr 19, 2016 at 6:12 PM, Ramana Kumar <ramana at member.fsf.org>
> wrote:
> > Hello,
> >
> > I keep running into this problem:
> >
> > FATAL ERROR: opentheory exception:
> > Overflow
> >
> > What does it mean?
> >
> > Thanks,
> > Ramana
> >
> > _______________________________________________
> > opentheory-users mailing list
> > opentheory-users at gilith.com
> > http://www.gilith.com/opentheory/mailing-list
> >
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20160427/e98d7c43/attachment.html>