def __str__(self) -> str:
        """A pretty string name combining processor_id and noise_strength into a unique name."""
        if self.noise_strength == 0:
            suffix = 'simulator'
        elif self.noise_strength == float('inf'):
            suffix = 'zeros'
        else:
            suffix = f'depol({self.noise_strength:.3e})'
        return f'{self.processor_id}-{suffix}'
A pretty string name combining processor_id and noise_strength into a unique name.
cirq-google/cirq_google/workflow/processor_record.py