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
- Re: Collecting multiple results Aik Hui
- Re: Collecting multiple results Sigbjorn Finne