SkipRewritingAttribute constructor

Initializes a new instance of the SkipRewritingAttribute class.

public SkipRewritingAttribute(string reason)

See Also

• class SkipRewritingAttribute
• namespace Microsoft.Coyote.Rewriting
• assembly Microsoft.Coyote.Test