Esempio n. 1
0
		public void cal()
		{
			Class2 objClass2 = new Class2();
			objClass2.IVal = 100;
			objClass2.JVal = 200;
			System.Console.WriteLine(CalcSum(objClass2.IVal, objClass2.JVal));

		}
Esempio n. 2
0
 public void TestMethod1()
 {
     //assert
     Class2 sut = new Class2();
     int i1 = 4;
     int i2 = 2;
     //Act
     sut.greaterNumber(i1, i2);
     //Assert
     Assert.IsTrue(sut.result);
 }
Esempio n. 3
0
	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;
	}
Esempio n. 4
0
	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;
	}
Esempio n. 5
0
	public void TestMethod76()
	{
      //BEGIN TEST
      ClassLibrary1.Class2 v0 =  new ClassLibrary1.Class2();
      /*
      ClassLibrary1.Class2 constructor Void .ctor() 
      */
      //END TEST
      return;
	}
Esempio n. 6
0
	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;
	}
Esempio n. 7
0
	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;
	}
Esempio n. 8
0
	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;
	}
Esempio n. 9
0
	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;
	}
Esempio n. 10
0
	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;
	}
Esempio n. 11
0
	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;
	}
Esempio n. 12
0
	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;
	}
Esempio n. 13
0
	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;
	}
Esempio n. 14
0
	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;
	}