You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
BUT, if I move the branching logic into another class, like this:
public static class C
{
public static int M(int v1, int v2) =>
C1.MImpl(v1, v2);
}
public static class C1
{
public static int MImpl(int v1, int v2)
{
if (v1 < v2)
{
return 1;
}
else
{
return -1;
}
}
}
then a single test will be generated for the methid M of class C.
Looks like VSharp.Runner does not try to investigate the code that resides in the methods that are called from the method that's being processed.
Or am I just doing something wrong?