public void Simple1()
{
Assert.IsTrue(ClTests.Simple1());
}
static void Main(string[] args)
{
ClTests clt = new ClTests();
bool allOkResult = true;
bool result;
////////////////////////// Simple1 //////////////////////////
Console.WriteLine("Simple1:");
result = Simple1();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// JustStay1 //////////////////////////
Console.WriteLine("\nJustStay1:");
result = JustStay1();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// AddDelete1 //////////////////////////
Console.WriteLine("\nAddDelete1:");
result = AddDelete1();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// AddDelete2 //////////////////////////
Console.WriteLine("\nAddDelete2:");
result = AddDelete2();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// Casso1 //////////////////////////
Console.WriteLine("\nCasso1:");
result = Casso1();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// Inconsistent1 //////////////////////////
Console.WriteLine("\nInconsistent1:");
result = Inconsistent1();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// Inconsistent2 //////////////////////////
Console.WriteLine("\nInconsistent2:");
result = Inconsistent2();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// Inconsistent3 //////////////////////////
Console.WriteLine("\nInconsistent3:");
result = Inconsistent3();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// Multiedit //////////////////////////
Console.WriteLine("\nMultiedit:");
result = Multiedit();
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
////////////////////////// AddDel //////////////////////////
Console.WriteLine("\nAddDel:");
int cns = 900, vars = 900, resolves = 10000;
if (args.Length > 0)
{
cns = int.Parse(args[0]);
}
if (args.Length > 1)
{
vars = int.Parse(args[1]);
}
if (args.Length > 2)
{
resolves = int.Parse(args[2]);
}
result = AddDel(cns, vars, resolves);
allOkResult &= result;
if (!result)
{
Console.WriteLine("--> Failed!");
}
else
{
Console.WriteLine("--> Succeeded!");
}
if (GC)
{
Console.WriteLine("Num vars = " + ClAbstractVariable.NumCreated);
}
}
public void Multiedit()
{
Assert.IsTrue(ClTests.Multiedit());
}
public void Inconsistent3()
{
Assert.IsTrue(ClTests.Inconsistent3());
}
public void Casso1()
{
Assert.IsTrue(ClTests.Casso1());
}
public void AddDelete2()
{
Assert.IsTrue(ClTests.AddDelete2());
}
public void JustStay1()
{
Assert.IsTrue(ClTests.JustStay1());
}
