automated-tests - Pex は、クラス型のパラメーターを使用してインターフェイスを処理できますか

Question

アカデミック版の pex と roles をインストールしました。

Visual Studio 2010 で次のコードを書きましたが、pex は入力として null ポインターを指定しました。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;
    }
    }
}