コード例 #1
0
ファイル: ClassesSimple.cs プロジェクト: kbatoev/VSharp
        public void TestProperty1()
        {
            var st = new ClassesSimplePropertyAccess();

            st.StructProperty.Set(42);
        }
コード例 #2
0
        public void TestProperty1() // TODO: keys of MemoryCell are equal, but FQLs are not
        {
            var st = new ClassesSimplePropertyAccess();

            st.StructProperty.Set(42);
        }