public void SaveAndLoadSettings()
        {
            Assert.IsNull(storage.GetSetting("X"), "X is not null");
            Assert.IsNull(storage.GetSetting("NAME"), "NAME is not null");

            storage.SaveSetting("X", 5);
            storage.SaveSetting("NAME", "Charlie");

            Assert.AreEqual(5, storage.GetSetting("X"));
            Assert.AreEqual("Charlie", storage.GetSetting("NAME"));

            Assert.AreEqual(5, testKey.GetValue("X"));
            Assert.AreEqual("Charlie", testKey.GetValue("NAME"));
        }
        public void SaveAndLoadSettingsPUT1([PexAssumeUnderTest] String[] name, [PexAssumeUnderTest] Object[] value)
        {
            PexAssume.IsTrue(name.Length == value.Length);
            for (int i = 0; i < value.Length; i++)
            {
                PexAssume.IsTrue(value[i] is String || value[i] is int);
                PexAssume.IsNotNullOrEmpty(name[i]);
                PexAssume.IsNotNull(value[i]);
            }

            for (int i = 0; i < name.Length; i++)
            {
                storage.SaveSetting(name[i], value[i]);
            }
            for (int i = 0; i < name.Length; i++)
            {
                PexAssert.AreEqual(value[i], storage.GetSetting(name[i]));
                PexAssert.AreEqual(value[i], testKey.GetValue(name[i]));
            }
        }