[mercury-users] Ever valground a mercury program?

[Nicholas Nethercote]

On Wed, 23 May 2007, Nicholas Nethercote wrote:

>> My rotd-2007-03-07 generates executables that make valgrind shout and shout 
>> and shout. In fact, the main(io,io) does not start in valgrind at all and 
>> the detstack overflows instead.

If you're using an old version, you could try upgrading to 3.2.3 which 
generally is more robust than older ones.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------