C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\NETReflectorAddins\Source\MSCorLibEval\ArrayListTest_Pex.cs

Modules/Types/MethodsDynamic Coverage (blocks)
User Code Under TestUser Or Test Code
[+]MSCorLibEval.dll(1 methods)2/2 (100.00%)
[+]MSCorLibEval.ArrayListTest_Pex(1 methods)2/2 (100.00%)
TestAdd2/2 (100.00%)
first
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Win32;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Graphs;
using Microsoft.Pex.Framework.Validation;
using System.Collections;

namespace MSCorLibEval
{
    [PexClass]
    public class ArrayListTest_Pex
    {

        [PexMethod]
        public void TestAdd([PexAssumeUnderTest]ArrayList arrObj, [PexAssumeUnderTest]Object obj)
        top{
            arrObj.Add(obj);
        }
    }
}

Copyright (c) Microsoft Corporation. All rights reserved.
Copy full source to clipboard|How to create a stand alone repro
Pex v.