我已经安装了学术版的 pex 和角色。
我在 Visual Studio 2010 中编写了以下代码。但是 pex 只是给出了一个空指针作为输入。pex 不支持类类型吗？请帮我。
测试接口是Test。
源代码：
public class ClassForPex
{
public int a;
public int b;
ClassForPex(int x, int y)
{
a = x;
b = y;
}
};
public static class StringExtensions
{
public static int Test(ClassForPex cjh)
{
if (cjh.a > cjh.b)
return cjh.a;
else
{
return cjh.b;
}
}
}