SkipRewritingAttribute.Reason field
The reason for skipping rewriting.
public readonly string Reason;
See Also
- class SkipRewritingAttribute
- namespace Microsoft.Coyote.Rewriting
- assembly Microsoft.Coyote.Test
The reason for skipping rewriting.
public readonly string Reason;