Rejudge extensions, test and renaming details run test