RewritingSignatureAttribute.Signature field
Signature identifying parameters used during rewriting.
public readonly string Signature;
See Also
- class RewritingSignatureAttribute
- namespace Microsoft.Coyote.Rewriting
- assembly Microsoft.Coyote.Test
Signature identifying parameters used during rewriting.
public readonly string Signature;