Re: newbie question: how to measure run-time with Sicstus under linux?

Duncan Patton wrote:

I didn't think of that ;-) Generally I've found that I need to compare
internally generated language metrics to some external things like GDB
before I know what they mean in terms of system resource use. 

If you don't believe what the docs say, and you have the sources (and
otherwise GDB would be useless), why bother with GDB - just look for the
code of statistics: it's just a few greps away. GDB really doesn't help
in telling what a system means with its statistics - or maybe you want
convince c.l.p. with some hard information that tells otherwise ?

Cheers

Bart Demoen
.