C# (CSharp) VSharp.Test.Tests ClassesSimpleA.GetN примеры использования

Пример #1

Файл: ClassesSimple.cs Проект: kbatoev/VSharp

        public static bool Test1(int n)
        {
            ClassesSimpleA a = new ClassesSimpleA(n);

            a.IncN();
            a.DecN();
            return(n == a.GetN());
        }

Пример #2

        public static bool Test1(int n) // TODO: keys of MemoryCell are equal, but FQLs are not (because of "constructed instance" hack)
        {
            ClassesSimpleA a = new ClassesSimpleA(n);

            a.IncN();
            a.DecN();
            return(n == a.GetN());
        }