C# (CSharp) TestPostconditionInference SubVirtual Examples

Example #1

File: PostconditionInference.cs Project: asvishnyakov/CodeContracts

 static public void Test_Sub(SubVirtual sv)
 {
   // The analysis does not track types
   Contract.Assert(sv.GetConst() == -12);
 }

Example #2

File: PostconditionInference.cs Project: terrorizer1980/CodeContracts

 static public void Test_Sub(SubVirtual sv)
 {
     // The analysis does not track types
     Contract.Assert(sv.GetConst() == -12);
 }