user code under test,
user code under test (not covered),
user code or test,
user code or test (not covered),
tagged
Modules/Types/Methods | Dynamic Coverage (blocks) |
---|
| User Code Under Test | User Or Test Code |
---|
[+]MSCorLibEval.dll(1 methods) | | 2/2
(100.00%)
|
[+]MSCorLibEval.ArrayListTest_Pex(1 methods) | | 2/2
(100.00%)
| |
|
firstusing 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);
}
}
}