false translated as a 0

[m-carrasco]

Hi

The following code is wrongly translated. This happens in advance-pta and in cci-version branches.

        public static void Test3()
        {
            List<Object> list = new List<Object>();
            list.Add(false); // here false in tac is a zero
            bool pos1 = (bool)list[1];
            Contract.Assert(false);
        }

Best regards,
Manuel.

[m-carrasco]

Any news?