TestingEngine.TryEmitReports method

Tries to emit the available reports to the specified directory with the given file name, and returns the paths of all emitted reports.

public bool TryEmitReports(string directory, string fileName, out IEnumerable<string> reportPaths)

See Also

• class TestingEngine
• namespace Microsoft.Coyote.SystematicTesting
• assembly Microsoft.Coyote.Test