TestingEngine.TryEmitCoverageReports method

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

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

See Also

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