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; }