I improved run tests script so that it correctly generate coverage.