C# (CSharp) VSharp.Test.Tests ClassesSimplePropertyAccessの例

コード例 #1

ファイル: ClassesSimple.cs プロジェクト: kbatoev/VSharp

        public void TestProperty1()
        {
            var st = new ClassesSimplePropertyAccess();

            st.StructProperty.Set(42);
        }

コード例 #2

        public void TestProperty1() // TODO: keys of MemoryCell are equal, but FQLs are not
        {
            var st = new ClassesSimplePropertyAccess();

            st.StructProperty.Set(42);
        }