[mercury-users] Ever valground a mercury program?

[Ian MacLarty]

On Wed, May 23, 2007 at 04:13:06PM +1000, Ondrej Bojar wrote:
>  Hi.
> 
>  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.
> 
>  Have any of you ever used valgrind on Mercury programs? Are there any 
>  special caveats?
> 

I used valgrind on the Mercury debugger and if I recall correctly it
was quite usable once I had turned on the correct suppressions.  Try using
the --gen-suppressions and --supressions options of valgrind.

Ian.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------