The Instr command should support jimages. JTreg will invoke JCov instr command to instrument jdk9 modules file. The result should be a directory with the instrumented classes (filtered by user), the modules from the directory will be used as the values for -XPatch option during tests runs.