Configuration.WithCoverageInfoSerialized method
Updates the configuration to enable or disable serializing the coverage information.
public Configuration WithCoverageInfoSerialized(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then enables serializing the coverage information. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote