예제 #1
0
        public void RemovePUT1(int initialSize, int removePosition)
        {
            PexAssume.IsTrue(initialSize >= MIN && initialSize <= MAX);
            PexAssume.IsTrue(removePosition >= 1 && removePosition < initialSize);

            recentFiles.MaxFiles = initialSize;
            List <int> oracleList = new List <int>();

            for (int num = 1; num <= initialSize; ++num)
            {
                recentFiles.SetMostRecent(num.ToString());
                oracleList.Add(num);
            }

            oracleList.Reverse();
            Random random = new Random();

            for (int num = 0; num < removePosition; num++)
            {
                int randomNo     = random.Next(0, initialSize);
                int elemToRemove = oracleList[randomNo];
                oracleList.Remove(elemToRemove);
                recentFiles.Remove(elemToRemove.ToString());
                initialSize--;
            }

            //Asserting the behavior
            for (int count = 0; count < initialSize - 1; count++)
            {
                PexAssert.AreEqual(recentFiles.Entries[count].Path, oracleList[count] + "");
            }
        }
예제 #2
0
 public void RemoveFirstProject()
 {
     SetMockValues(3);
     _recentFiles.Remove("1");
     CheckListContains(2, 3);
 }