public async Task PassesSettingsToRunner(
RunSynthesisPatcher settings,
CancellationToken cancel,
SolutionPatcherRun sut)
{
await sut.Run(settings, cancel);
await sut.SolutionPatcherRunner.Received(1).Run(settings, cancel);
}
public async Task PrintsSha(
RunSynthesisPatcher settings,
CancellationToken cancel,
SolutionPatcherRun sut)
{
await sut.Run(settings, cancel);
sut.PrintShaIfApplicable.Received(1).Print();
}