RewritingSignatureAttribute constructor
Initializes a new instance of the RewritingSignatureAttribute
class.
public RewritingSignatureAttribute(string version, string signature)
See Also
- class RewritingSignatureAttribute
- namespace Microsoft.Coyote.Rewriting
- assembly Microsoft.Coyote.Test