C# (CSharp) Requirement.GenerateCode示例

示例#1

文件： RequirementTests.cs 项目： grzechu9604/SmartContractsGenerator

 public void GenerateCodeTest(Requirement r, string expected)
 {
     System.Diagnostics.Contracts.Contract.Requires(r != null);
     Assert.AreEqual(expected, r.GenerateCode());
 }