public void Test_Update02()
{
int[] ints2 = new int[1];
int[] ints3 = new int[1];
this.Test_Update
(ints2, ints3, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Map03()
{
int[] ints4 = new int[2];
int[] ints5 = new int[2];
ints4[0] = 1;
this.Test_Map(ints4, ints5, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void CaptureTest50503()
{
string s;
s = this.CaptureTest(PexChoose.CreateDelegate <Action>());
PexAssert.AreEqual <string>("", s);
}
public void Test_Update01()
{
int[] ints = new int[0];
int[] ints1 = new int[0];
this.Test_Update
(ints, ints1, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Map04()
{
int[] ints6 = new int[2];
int[] ints7 = new int[2];
ints6[0] = 1;
ints6[1] = 1073741824;
this.Test_Map(ints6, ints7, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Update05()
{
int[] ints8 = new int[2];
int[] ints9 = new int[2];
ints8[0] = 1;
this.Test_Update
(ints8, ints9, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Update04()
{
int[] ints6 = new int[1];
int[] ints7 = new int[1];
ints6[0] = 1;
this.Test_Update
(ints6, ints7, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Update03()
{
int[] ints4 = new int[1];
int[] ints5 = new int[1];
ints4[0] = 2;
this.Test_Update
(ints4, ints5, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_MapPartial01()
{
int[] ints = new int[1];
int[] ints1 = new int[1];
ints[0] = 1;
this.Test_MapPartial
(ints, ints1, 0, PexChoose.CreateDelegate <Func <int, int, Optional <int> > >());
}
public void Test_Map07()
{
int[] ints12 = new int[3];
int[] ints13 = new int[3];
ints12[0] = 1;
ints12[1] = 1073741824;
this.Test_Map(ints12, ints13, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map02()
{
IPexChoiceRecorder choices = PexChoose.NewTest();
int[] ints2 = new int[1];
int[] ints3 = new int[1];
ints3[0] = 1;
this.Test_Map(ints2, ints3, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Update06()
{
int[] ints10 = new int[3];
int[] ints11 = new int[3];
ints10[0] = 1;
ints10[1] = 1073741824;
this.Test_Update
(ints10, ints11, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Update35()
{
int[] ints28 = new int[2];
int[] ints29 = new int[2];
ints28[0] = -2147483647;
ints28[1] = -1073741824;
this.Test_Update(ints28, ints29, -1073741824,
-1073741823, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Update33()
{
int[] ints24 = new int[2];
int[] ints25 = new int[2];
ints24[0] = -1744830464;
ints24[1] = -1476395007;
this.Test_Update
(ints24, ints25, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_Update08()
{
int[] ints14 = new int[2];
int[] ints15 = new int[2];
ints14[0] = 3;
ints14[1] = 2;
this.Test_Update
(ints14, ints15, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_MapPartial02()
{
int[] ints2 = new int[2];
int[] ints3 = new int[2];
ints2[0] = 1;
ints2[1] = 1073741824;
this.Test_MapPartial
(ints2, ints3, 0, PexChoose.CreateDelegate <Func <int, int, Optional <int> > >());
}
public void Test_Map12()
{
int[] ints22 = new int[4];
int[] ints23 = new int[4];
ints22[0] = 8388609;
ints22[2] = 25165824;
ints22[3] = 1;
this.Test_Map(ints22, ints23, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map10()
{
int[] ints18 = new int[4];
int[] ints19 = new int[4];
ints18[0] = 1191182337;
ints18[2] = 1124106240;
ints18[3] = 50364417;
this.Test_Map(ints18, ints19, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map09()
{
int[] ints16 = new int[4];
int[] ints17 = new int[4];
ints16[0] = 134217729;
ints16[1] = 1;
ints16[2] = 134217728;
this.Test_Map(ints16, ints17, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map08()
{
int[] ints14 = new int[3];
int[] ints15 = new int[3];
ints14[0] = 134217729;
ints14[1] = 1;
ints14[2] = 134217728;
this.Test_Map(ints14, ints15, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void TryActionTest02365()
{
AphidInterpreter aphidInterpreter;
bool b;
aphidInterpreter = AphidInterpreterFactory.Create(false);
b = this.TryActionTest02(aphidInterpreter, (Func <string>)null,
PexChoose.CreateDelegate <Action>(), false);
PexAssert.AreEqual <bool>(true, b);
}
public void TryActionTest859()
{
AphidInterpreter aphidInterpreter;
bool b;
aphidInterpreter = AphidInterpreterFactory.Create();
b = this.TryActionTest
(aphidInterpreter, (string)null, PexChoose.CreateDelegate <Action>());
PexAssert.AreEqual <bool>(true, b);
}
public void Test_Update07()
{
int[] ints12 = new int[3];
int[] ints13 = new int[3];
ints12[0] = 134217729;
ints12[1] = 1;
ints12[2] = 134217728;
this.Test_Update
(ints12, ints13, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}
public void Test_MapPartial04()
{
int[] ints6 = new int[3];
int[] ints7 = new int[3];
ints6[0] = 134586656;
ints6[1] = 134664321;
ints6[2] = 671424800;
this.Test_MapPartial
(ints6, ints7, 0, PexChoose.CreateDelegate <Func <int, int, Optional <int> > >());
}
public void Test_MapPartial03()
{
int[] ints4 = new int[3];
int[] ints5 = new int[3];
ints4[0] = 524288;
ints4[1] = 67108865;
ints4[2] = 4;
this.Test_MapPartial(ints4, ints5,
67108864, PexChoose.CreateDelegate <Func <int, int, Optional <int> > >());
}
public void Test_Map15()
{
int[] ints28 = new int[5];
int[] ints29 = new int[5];
ints28[0] = 16777280;
ints28[1] = -2130706368;
ints28[2] = -2130706432;
ints28[3] = -2130706367;
this.Test_Map(ints28, ints29, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map14()
{
int[] ints26 = new int[4];
int[] ints27 = new int[4];
ints26[0] = 16777280;
ints26[1] = -2130706368;
ints26[2] = -2130706432;
ints26[3] = -2130706367;
this.Test_Map(ints26, ints27, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map13()
{
int[] ints24 = new int[4];
int[] ints25 = new int[4];
ints24[0] = 67113992;
ints24[1] = 136320010;
ints24[2] = 136320008;
ints24[3] = 136320011;
this.Test_Map(ints24, ints25, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Map11()
{
int[] ints20 = new int[4];
int[] ints21 = new int[4];
ints20[0] = 1;
ints20[1] = 8388608;
ints20[2] = 8388610;
ints20[3] = 8388611;
this.Test_Map(ints20, ints21, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void Test_Update31()
{
int[] ints20 = new int[3];
int[] ints21 = new int[3];
ints20[0] = 1073741825;
ints20[1] = 1073741824;
ints20[2] = 1;
this.Test_Update
(ints20, ints21, 1, 0, PexChoose.CreateDelegate <Func <int, Optional <int> > >());
}