[mercury-users] Ever valground a mercury program?

[Julien Fischer]

On Wed, 23 May 2007, Ondrej Bojar 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.
>
> Have any of you ever used valgrind on Mercury programs?

Yes.

> Are there any special caveats?

No, other than that you need to be mindful that the garbage collector
will sometimes cause valgrind to emit spurious output - it's usually
pretty obvious though.

> The reason I want to use valgrind is to debug some of my C code called from 
> Mercury.

It should be perfectly usable for that.

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