I was trying to code up some examples implementing first-order resolution. I
found what I think is a bug in that the simulator has a heap overflow.
$ uname -a
Linux alonzo 2.6.32-32-generic #62-Ubuntu SMP Wed Apr 20 21:54:21 UTC 2011 i686
GNU/Linux
$ tjcc -v
Teyjus version 2.0-b1
$ tjcc bug ; tjlink bug ; tjsim bug
Welcome to Teyjus
Copyright (C) 2008 A. Gacek, S. Holte, G. Nadathur, X. Qi, Z. Snow
Teyjus comes with ABSOLUTELY NO WARRANTY
This is free software, and you are welcome to redistribute it
under certain conditions. Please view the accompanying file
COPYING for more information
[bug] ?- try 6 C.
Simulator: Heap overflow.
$
Since I really don't have any recursions in this program that don't terminate,
this overflow seems to be a bug somewhere else in Teyjus.
I tried to narrow down the bug: see the attached .mod and .sig files and the
comments inside.
Original issue reported on code.google.com by dale.a.m...@gmail.com on 19 Jun 2011 at 7:41
GoogleCodeExporter
commented
9 years ago
Original issue reported on code.google.com by
dale.a.m...@gmail.comon 19 Jun 2011 at 7:41Attachments: