public void cal()
{
Class2 objClass2 = new Class2();
objClass2.IVal = 100;
objClass2.JVal = 200;
System.Console.WriteLine(CalcSum(objClass2.IVal, objClass2.JVal));
}
public void TestMethod1()
{
//assert
Class2 sut = new Class2();
int i1 = 4;
int i2 = 2;
//Act
sut.greaterNumber(i1, i2);
//Assert
Assert.IsTrue(sut.result);
}
public void TestMethod80()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = (System.Int32)(-10);
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v1 ;
System.Int32 v3 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(-10, v3,"Regression Failure? [58]");
/*
ClassLibrary1.Class2 constructor Void .ctor()
(System.Int32)(-10)
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
*/
//END TEST
return;
}
public void TestMethod79()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = (System.Int32)(-1);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v1 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
(System.Int32)(-1)
ClassLibrary1.Class2.Void set_IVal(Int32)
*/
//END TEST
return;
}
public void TestMethod76()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
/*
ClassLibrary1.Class2 constructor Void .ctor()
*/
//END TEST
return;
}
public void TestMethod75()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [60]");
System.Int32 v2 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v2 ;
System.Int32 v4 = (System.Int32)0;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v4 ;
System.Int32 v6 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v6,"Regression Failure? [61]");
System.Int32 v7 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v7,"Regression Failure? [20]");
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)0
ClassLibrary1.Class2.Void set_IVal(Int32)
ClassLibrary1.Class2.Int32 get_IVal()
ClassLibrary1.Class2.Int32 get_JVal()
*/
//END TEST
return;
}
public void TestMethod72()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [51]");
System.Int32 v2 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v2 ;
System.Int32 v4 = (System.Int32)0;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v4 ;
System.Int32 v6 = (System.Int32)(-3);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v6 ;
System.Int32 v8 = (System.Int32)1;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v8 ;
System.Int32 v10 = (System.Int32)(-3);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v10 ;
System.Int32 v12 = (System.Int32)(-1);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v12 ;
System.Int32 v14 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(1, v14,"Regression Failure? [17]");
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)0
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)(-3)
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)1
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)(-3)
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)(-1)
ClassLibrary1.Class2.Void set_IVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
*/
//END TEST
return;
}
public void TestMethod69()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [35]");
System.Int32 v2 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v2,"Regression Failure? [13]");
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
ClassLibrary1.Class2.Int32 get_JVal()
*/
//END TEST
return;
}
public void TestMethod60()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [195]");
System.Int32 v2 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v2 ;
System.Int32 v4 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v4,"Regression Failure? [93]");
System.Int32 v5 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v5,"Regression Failure? [196]");
System.Int32 v6 = (System.Int32)(-3);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v6 ;
System.Int32 v8 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v8 ;
System.Int32 v10 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(-3, v10,"Regression Failure? [197]");
System.Int32 v11 = (System.Int32)1;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v11 ;
System.Int32 v13 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v13,"Regression Failure? [94]");
System.Int32 v14 = (System.Int32)0;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v14 ;
System.Int32 v16 = (System.Int32)2;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v16 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)(-3)
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)1
ClassLibrary1.Class2.Void set_IVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
(System.Int32)0
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)2
ClassLibrary1.Class2.Void set_IVal(Int32)
*/
//END TEST
return;
}
public void TestMethod59()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [190]");
System.Int32 v2 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v2,"Regression Failure? [191]");
System.Int32 v3 = (System.Int32)5;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v3 ;
System.Int32 v5 = (System.Int32)0;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v5 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)5
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)0
ClassLibrary1.Class2.Void set_IVal(Int32)
*/
//END TEST
return;
}
public void TestMethod56()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [176]");
System.Int32 v2 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v2 ;
System.Int32 v4 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v4,"Regression Failure? [87]");
System.Int32 v5 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v5,"Regression Failure? [177]");
System.Int32 v6 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v6,"Regression Failure? [88]");
System.Int32 v7 = (System.Int32)2;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v7 ;
System.Int32 v9 = (System.Int32)(-2);
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v9 ;
System.Int32 v11 = (System.Int32)10;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v11 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
ClassLibrary1.Class2.Int32 get_IVal()
ClassLibrary1.Class2.Int32 get_JVal()
(System.Int32)2
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)(-2)
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)10
ClassLibrary1.Class2.Void set_IVal(Int32)
*/
//END TEST
return;
}
public void TestMethod52()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [158]");
System.Int32 v2 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v2 ;
System.Int32 v4 = (System.Int32)0;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v4 ;
System.Int32 v6 = (System.Int32)(-3);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v6 ;
System.Int32 v8 = (System.Int32)1;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v8 ;
System.Int32 v10 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(-3, v10,"Regression Failure? [159]");
System.Int32 v11 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(1, v11,"Regression Failure? [78]");
System.Int32 v12 = (System.Int32)(-10);
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v12 ;
System.Int32 v14 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(-3, v14,"Regression Failure? [160]");
System.Int32 v15 = (System.Int32)5;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v15 ;
System.Int32 v17 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(5, v17,"Regression Failure? [79]");
System.Int32 v18 = (System.Int32)4;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v18 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)0
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)(-3)
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)1
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_IVal()
ClassLibrary1.Class2.Int32 get_JVal()
(System.Int32)(-10)
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)5
ClassLibrary1.Class2.Void set_JVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
(System.Int32)4
ClassLibrary1.Class2.Void set_IVal(Int32)
*/
//END TEST
return;
}
public void TestMethod46()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = ((ClassLibrary1.Class2)v0).IVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(0, v1,"Regression Failure? [139]");
System.Int32 v2 = (System.Int32)(-6);
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v2 ;
System.Int32 v4 = (System.Int32)8;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v4 ;
System.Int32 v6 = (System.Int32)8;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v6 ;
System.Int32 v8 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(8, v8,"Regression Failure? [63]");
System.Int32 v9 = ((ClassLibrary1.Class2)v0).JVal ;
//Regression assertion (captures the current behavior of the code)
Assert.AreEqual<int>(8, v9,"Regression Failure? [64]");
System.Int32 v10 = (System.Int32)10;
((ClassLibrary1.Class2)v0).IVal = (System.Int32)v10 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
ClassLibrary1.Class2.Int32 get_IVal()
(System.Int32)(-6)
ClassLibrary1.Class2.Void set_IVal(Int32)
(System.Int32)8
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)8
ClassLibrary1.Class2.Void set_IVal(Int32)
ClassLibrary1.Class2.Int32 get_JVal()
ClassLibrary1.Class2.Int32 get_JVal()
(System.Int32)10
ClassLibrary1.Class2.Void set_IVal(Int32)
*/
//END TEST
return;
}
public void TestMethod34()
{
//BEGIN TEST
ClassLibrary1.Class2 v0 = new ClassLibrary1.Class2();
System.Int32 v1 = (System.Int32)(-1);
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v1 ;
System.Int32 v3 = (System.Int32)0;
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v3 ;
System.Int32 v5 = (System.Int32)(-6);
((ClassLibrary1.Class2)v0).JVal = (System.Int32)v5 ;
/*
ClassLibrary1.Class2 constructor Void .ctor()
(System.Int32)(-1)
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)0
ClassLibrary1.Class2.Void set_JVal(Int32)
(System.Int32)(-6)
ClassLibrary1.Class2.Void set_JVal(Int32)
*/
//END TEST
return;
}