From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Fri Oct 31 2008 - 15:48:58 MDT
What version of array.c is included in Mocha?
We currently have both 64-bit and 32-bit versions of vis, the latter
on both 32-bit and 64-bit machines, and we have not seen that
problem. At the top of array.c, we have
* $Id: array.c,v 1.6 2002/08/27 06:26:29 fabio Exp $
>>>>> "NP" == Nir Piterman <nir.piterman_at_doc.ic.ac.uk> writes:
NP> I am having some problem with glu on ia64.
NP> The problem has to do with the usage of array (array/array.c).
NP> I am using Mocha which uses glu for its BDD handling and I have a 32 bit
NP> compilation of it and a 64 bit compilation.
NP> I try to run the same input in 32 bit and in 64 bit.
NP> In the 32 bit version the bdds are constructed without a problem I get
NP> to the model checking phase.
NP> In the 64 bit version there is some problem with the construction of the
NP> non-monolithic transition relation causing the following error in array.c:
NP> array: nested insert, append, remove, or free operations
NP> Fatal error: file ./src/array/array.c, line 242
NP> I am not what you might call a savvy user. I am writing in
NP> the hope that someone already encountered this problem in the 64 bit
NP> architecture and knows how to bypass it.
NP> Thank you in advance,
This archive was generated by hypermail 2.1.7 : Fri Oct 31 2008 - 15:53:02 MDT