GenerationSummary
constructor(totalOperations: Int, successfulOperations: List<OperationInfo>, notTestedOperations: List<OperationInfo>, partialOperations: List<OperationInfo>, failedOperations: List<OperationInfo>, totalTestCases: Int, totalErrors: Int)