C# (CSharp) Holds.test Examples

Example #1

File: SplitFields.cs Project: michael-emmi/TinyBCT

        public void test4()
        {
            var h = new Holds <int>();

            h.v = 2;
            Contract.Assert(h.v == 2);
            Contract.Assert(h.test() == 2);
        }

Example #2

File: SplitFields.cs Project: michael-emmi/TinyBCT

        public void test6()
        {
            var h = new Holds <Holds <int> >();

            h.v   = new Holds <int>();
            h.v.v = 16;

            Contract.Assert(h.test().test() == 16);
        }