SkipRewritingAttribute class

Attribute for declaring source code targets that must not be rewritten.

[AttributeUsage(AttributeTargets.Class | AttributeTargets.Struct)]
public sealed class SkipRewritingAttribute : Attribute

Public Members

name	description
SkipRewritingAttribute(…)	Initializes a new instance of the SkipRewritingAttribute class.
readonly Reason	The reason for skipping rewriting.

See Also

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