Added repOk for evoSuite