CodeDigger не генерирует вывод

Question

Я установил расширение CodeDigger для своего VS 2013 Premium. Затем я включил параметр, позволяющий ему работать с кодом, который НЕ является переносной сборкой в ​​настройках.

После этого я правая кнопки мыши этот простой метод для генерации результатов:

public static double Add(double foo, double bar) 
{ 
    return foo + bar; 
} 

Но это открывает новое окно инструмента и говорит «прослушивание контролируемого х86 процесс (холодный старт)» в строке состояния, а затем через некоторое время просто ничего не возвращает, отображая «Ready» в строке состояния.

Я ожидаю, что будет результат, как показано здесь: https://rionscode.wordpress.com/2013/04/25/using-pex-and-microsoft-code-digger-to-better-understand-and-test-your-code/

Любые идеи, почему это не будет работать? Все примеры, которые я видел, такие вещи работают.

Answer 1

Ваш образец кода не имеет ответвлений или утверждает, что Pex ничего не производит.

Напишите единичный тест на этот код и запустите pex в своем модульном тесте, чтобы увидеть больше. Полезно также использовать pex wiki http://research.microsoft.com/en-us/um/redmond/projects/pex/wiki/How%20Pex%20Will%20Help%20You.html