Make sure we return a non zero exitCode if an exception is raised whilst running benchmarks.
Make sure we return a non zero exitCode if an exception is raised whilst
running benchmarks.

symbooglix/boogie-runner,symbooglix/boogie-runner