public static void staticCallTakeTwo()
{
string v = "hello";
int one = 1;
staticTakeTwo(v, one);
staticTakeTwo(one, DateTime.Now);
staticTakeTwo(null, v);
staticTakeTwo(one, one);
staticTakeTwo(new Class1(), new Class1());
var i = new Class1();
staticTakeTwo(i, i);
}
public void callTakeTwo()
{
string v = "hello";
int one = 1;
takeTwo(v, one);
takeTwo(one, DateTime.Now);
takeTwo(null, v);
takeTwo(one, one);
takeTwo(new Class1(), new Class1());
takeTwo(this, this);
var i = new Class1();
takeTwo(i, i);
}
// RandoopTest1009
public static int Main()
{
TestUtil.StartTest();
int num;
try
{
Class1 @class = new Class1();
TestUtil.RecordVoidInstanceMethodCall(@class, ".ctor");
DateTime target = @class.I1Baz();
TestUtil.RecordVoidInstanceMethodCall(target, "InterfaceTestAssembly2.Class1.I1Baz");
DateTime target2 = @class.I1Baz();
TestUtil.RecordVoidInstanceMethodCall(target2, "InterfaceTestAssembly2.Class1.I1Baz");
DateTime target3 = @class.I1Baz();
TestUtil.RecordVoidInstanceMethodCall(target3, "InterfaceTestAssembly2.Class1.I1Baz");
int target4 = @class.I1Bar();
TestUtil.RecordVoidInstanceMethodCall(target4, "InterfaceTestAssembly2.Class1.I1Bar");
int target5 = @class.I1Bar();
TestUtil.RecordVoidInstanceMethodCall(target5, "InterfaceTestAssembly2.Class1.I1Bar");
DateTime target6 = @class.I1Baz();
TestUtil.RecordVoidInstanceMethodCall(target6, "InterfaceTestAssembly2.Class1.I1Baz");
DateTime target7 = @class.I1Baz();
TestUtil.RecordVoidInstanceMethodCall(target7, "InterfaceTestAssembly2.Class1.I1Baz");
DateTime target8 = @class.I1Baz();
TestUtil.RecordVoidInstanceMethodCall(target8, "InterfaceTestAssembly2.Class1.I1Baz");
Console.WriteLine("This was expected behavior. Will exit with code 100.");
num = 100;
}
catch (Exception ex)
{
Console.WriteLine("//EXCEPTION:" + ex.GetType().FullName);
Console.WriteLine("//STACK TRACE:");
Console.WriteLine(ex.StackTrace);
Console.WriteLine();
Console.WriteLine("This was unexpected behavior. Will exit with code 99.");
num = 99;
}
int arg_16D_0 = num;
TestUtil.EndTest();
return arg_16D_0;
}
