Instrumentation

plugin

InstrumentationComponent

ScalaGradingPlugin

instrumentationOptions

Instrumentation InstrumentationComponent

instrumentedClassPrefixes

Options scalaGradingOptions