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