update documentation for clarity (#40)

This commit is contained in:
timbo 2020-07-16 19:44:08 +01:00 коммит произвёл GitHub
Родитель 1447b09490
Коммит edea7a7cbe
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 0 удалений

Просмотреть файл

@ -55,6 +55,7 @@ public class Test
engine.Run();
var report = engine.TestReport;
Output.WriteLine("Coyote found {0} bug.", report.NumOfFoundBugs);
Assert.True(report.NumOfFoundBugs == 0, $"Coyote found {report.NumOfFoundBugs} bug(s).");
}
private async Task CoyoteTestMethod()