Is there a way in which I can collect the results of +RTS -sstderr
of say 10 runs and average it out (without me having to write a script to
do it)?

Thanks in advance

Aik Hui

Reply via email to