public void Test_Switch_Last_Label()
{
uint a = 3;
bool b = false;
switch (a)
{
case 0:
Assert.Fail();
break;
case 1:
Assert.Fail();
break;
case 2:
Assert.Fail();
break;
case 3:
b = true;
break;
}
Assert.IsTrue(b);
}
public void Unconditional_Branch()
{
goto l1;
Assert.Fail();
l1:
int a = 0;
}
public void Test_Instance_Method_ulong()
{
if (InstanceMethod_ulong(1000) != 2000)
{
Assert.Fail();
}
}
public ulong InstanceMethod_ulong(ulong a)
{
if (a != 1000)
{
Assert.Fail();
}
return(2000);
}
public void Branch_Multiple_Conditions_3()
{
int a = 5;
if (a > 6 || a < 1)
{
Assert.Fail();
}
}
public void Branch_Combined_ulong()
{
ulong a = 6000;
if (a >= 6000 && a <= 6001)
{
return;
}
Assert.Fail();
}
public void Branch_If_Less_ulong()
{
ulong a = 6;
ulong b = 5;
if (a < b)
{
Assert.Fail();
}
}
public void Branch_If_Less()
{
int a = 6;
int b = 5;
if (a < b)
{
Assert.Fail();
}
}
public void Branch_If_Greater()
{
int a = 5;
int b = 5;
if (a > b)
{
Assert.Fail();
}
}
public void Branch_If_Greater_ulong()
{
ulong a = 5000;
ulong b = 5000;
if (a > b)
{
Assert.Fail();
}
}
public void Branch_If_Not_Equal()
{
int a = 5;
int b = 5;
if (a != b)
{
Assert.Fail();
}
}
public void Branch_If_Not_Equal_ulong()
{
ulong a = 5000;
ulong b = 5000;
if (a != b)
{
Assert.Fail();
}
}
public void Branch_If_Equal()
{
int a = 5;
int b = 6;
if (a == b)
{
Assert.Fail();
}
}
public void Branch_If_Greater_Equal()
{
int a = 6;
if (a >= 6)
{
}
else
{
Assert.Fail();
}
}
public void Branch_If_Greater_Equal_ulong()
{
ulong a = 6000;
if (a >= 6000)
{
}
else
{
Assert.Fail();
}
}
public void Branch_Multiple_Conditions_2()
{
int a = 5;
if (a > 3 || a < 6)
{
}
else
{
Assert.Fail();
}
}
public void Branch_If_Less_Equal()
{
int a = 6;
if (a <= 6)
{
}
else
{
Assert.Fail();
}
}
public void Branch_If_Less_Equal_ulong()
{
ulong a = 6000;
if (a <= 6000)
{
}
else
{
Assert.Fail();
}
}
public void For_Loop_ulong()
{
ulong i = 0;
for (; i < 1000; i++)
{
}
if (i != 1000)
{
Assert.Fail();
}
}
public void Ulong_Property()
{
var sut1 = new Test();
sut1.Ulong1 = 1000;
sut1.Ulong2 = 2000;
if (sut1.Ulong1 != 1000)
{
Assert.Fail();
}
if (sut1.Ulong2 != 2000)
{
Assert.Fail();
}
sut1.Ulong1 += 5;
if (sut1.Ulong1 != 1005)
{
Assert.Fail();
}
}
public void Test_Switch_Multiple_Labels()
{
uint a = 1;
bool b = false;
switch (a)
{
case 0:
case 1:
b = true;
break;
case 2:
Assert.Fail();
break;
case 3:
Assert.Fail();
break;
}
Assert.IsTrue(b);
}
