{
MInterval root = (MInterval) p.Val;
root.Pop (from, to);
- DumpPropNested ();
root.MergeAfterChange (from, to);
}
}
int to = tail.To;
MInterval root;
- for (root = head; root.To + head.RightLength < to;
+ for (root = head; root.To + root.RightLength < to;
root = root.Parent);
M17N.DebugPrint (" common root is "); root.DumpOne (false, true);
else
{
for (int j = 0; j < nvals[i]; j++)
- if (valtable[i, nvals[i] - 1 - j] != array[j].Val)
+ if (valtable[i, nvals[i] - 1 - j] != (MSymbol) array[j].Val)
{
Console.WriteLine ("valtable[{0}, {1}] is {2}, array[{1}] is {3}.\n",
i, j, valtable[i, j], array[j]);
public static void Main (string[] args)
{
Random r = new Random (int.Parse (args[0]));
+ int check = (args.Length > 1 ? int.Parse (args[1]) : -1);
- for (int loop = 0; loop < 10000; loop++)
+ for (int loop = 0; loop < 100000; loop++)
{
- Console.WriteLine ("--- loop = {0} ---\n", loop);
- mt.DumpPropNested ();
- Dump ();
+ if (loop == check)
+ {
+ Console.WriteLine ("--- loop = {0} ---\n", loop);
+ mt.DumpPropNested ();
+ Dump ();
+ M17N.M17N.debug = true;
+ }
int from = r.Next (LENGTH);
int to = r.Next (LENGTH + 1);