Esempi in C# (CSharp) per VSharp.Test.Tests ClassesSimpleA

Esempio n. 1

File: ClassesSimple.cs Progetto: kbatoev/VSharp

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

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

Esempio n. 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());
        }