C# (CSharp) ObjectInvariantInference ReadOnly_FilterFalseRequires Examples

Example #1

File: ObjectInvariants.cs Project: asvishnyakov/CodeContracts

 public static void Act()
 {
   var z = new ReadOnly_FilterFalseRequires(12);
   z.Add();
 }

Example #2

        public static void Act()
        {
            var z = new ReadOnly_FilterFalseRequires(12);

            z.Add();
        }