Configuration.WithPotentialDeadlocksReportedAsBugs method
Updates the value that controls if potential deadlocks should be reported as bugs.
public Configuration WithPotentialDeadlocksReportedAsBugs(bool reportedAsBugs = true)
| parameter | description |
|---|---|
| reportedAsBugs | If true, then potential deadlocks are reported as bugs. |
Remarks
A deadlock is considered to be potential if the runtime cannot fully determine if the deadlock is genuine or occurred because of partially-controlled concurrency.
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote