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