Microsoft.Coyote.Rewriting namespace

public type	description
class RewritingEngine	Engine that can rewrite a set of assemblies for systematic testing.
class RewritingSignatureAttribute	Attribute that contains a signature identifying the parameters used during binary rewriting of an assembly.
class SkipRewritingAttribute	Attribute for declaring source code targets that must not be rewritten.