Class EmptyInterleavingExecutionReporter

    • Constructor Detail

      • EmptyInterleavingExecutionReporter

        public EmptyInterleavingExecutionReporter()
        Creates a new reporter printing no events.