Configuration.WithActorTraceVisualizationEnabled method
Updates the configuration with actor trace visualization enabled or disabled. If enabled, the testing engine can produce a visual graph representing an execution leading up to a bug.
public Configuration WithActorTraceVisualizationEnabled(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then enables actor trace visualization. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote