.net - Continue Pex run in Visual Studio 2015 RC intellitest till dynamic coverage block numbers match -

below image of behavior not understand when using intellitest. notice green did not way end of progress bar , right next current dynamic coverage measure 3/7 blocks.

shouldn't able continue test run way till progress bar fills completeness , block measure numbers match. don't see continue button -- clicking run button causes test run re-test , result remains same.

intellitest uses technique called dynamic symbolic execution, keeps on generating inputs statement helps cover code path. read here.

if intellitest unable generate input can cover path, flags case warning.

the less coverage count means intellitest unable reason code. of usual cases block automated reasoning are

• methods can't instrumented, there's no way understand input values pick or how many uncovered blocks lie in method body
• complex objects can't created easily. intellitests tries best mimic object construction calling (parameterized) constructors, fails because creation involves initialization logic, or calls methods not instrumented

in second case, intellitest shows object creation warning. shows factory used create object , provides chance override , possibly inject mocks/fakes/dummies etc..

warnings tell tool needs reason code , explore more tests. course of action in case be:

1. check object creation warning
2. click apply on toolbar if think factory appropriate
3. modify factory appropriate
4. run intellitest again

still if coverage numbers not met, see if input values generated intellitest adequate, may use additional assumptions guide input generation (see pexassume, msdn reference.