[SAL-HELP] CPU usage

[hilaire]

Hello all,


i'am using the SAL symbolic model checker on my MacBookPro running mac 
os X.4. At first the process is using more than 90% of the CPU and after 
a few minutes while it is not terminated the CPU usage fall to 4-5 %. 
There are no other asking applications. Is this a typical behaviour ? Do 
someone know a way for salenv-exe to keep using the cpu ?




Thanks


Vincent