using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.VisualStudio.TestTools.UnitTesting; 

namespace Sample
{
    [TestClass]
    [PexClass(typeof(UIntStack))]
    public partial class UIntStackPexTest
    {
        [PexMethod]
        public void TestTop([PexAssumeUnderTest]UIntStack s)
        {
            PexAssume.IsNotNull(s);
            int top = s.Top();
            PexValue.AddForValidation("top", top);
        }

        [PexMethod]

        public void TestPush([PexAssumeUnderTest]UIntStack s, int k)
        {
            PexAssume.IsNotNull(s);
            s.Push(k);
            PexValue.AddForValidation("Push-array", s.GetArray());
            PexValue.AddForValidation("Push-numOfElements", s.GetNumberOfElements());
            PexValue.AddForValidation("Push-Max", s.MaxSize());
        }
	  
	  [PexMethod]
        public void TestPop([PexAssumeUnderTest]UIntStack s)
        {
            PexAssume.IsNotNull(s);
            s.Pop();
            PexValue.AddForValidation("Pop-array", s.GetArray());
            PexValue.AddForValidation("Pop-numOfElements", s.GetNumberOfElements());
            PexValue.AddForValidation("Pop-Max", s.MaxSize());
        }    
    
    }
}