1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Sun May 01 17:16:57 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Tue May 03 11:16:55 2011 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4  "-----------------------------------------------------------------";
     1.5  "-----------------------------------------------------------------";
     1.6  "-------------- build miniscript stepwise BEFORE ALL TESTS -------";
     1.7 +"-------------- check positions in miniscript --------------------";
     1.8  "-------------- get_allpos' (from ptree above)--------------------";
     1.9  (**#####################################################################(**)
    1.10  "-------------- cut_level (from ptree above)----------------------";
    1.11 @@ -61,9 +62,23 @@
    1.12  "-------------- build miniscript stepwise BEFORE ALL TESTS -------";
    1.13  "-------------- build miniscript stepwise BEFORE ALL TESTS -------";
    1.14  "-------------- build miniscript stepwise BEFORE ALL TESTS -------";
    1.15 -"this build should be detailed each time a test fails later    \
    1.16 -\i.e. all the tests should be caught here first                \
    1.17 -\and linked with a reference to the respective test environment";
    1.18 +"this build should be detailed each time a test fails later       ";
    1.19 +"i.e. all the tests should be caught here first                   ";
    1.20 +"and linked with a reference to the respective test environment   ";
    1.21 +val fmz = ["equality (x+1=(2::int))", (*FIRST OF ALL TESTS*) "solveFor x", "solutions L"];
    1.22 +val (dI',pI',mI') = ("Test",["sqroot-test","univariate","equation","test"],
    1.23 +  ["Test","squ-equ-test-subpbl1"]);
    1.24 +val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.25 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.26 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.27 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.28 +
    1.29 +
    1.30 +
    1.31 +
    1.32 +"-------------- check positions in miniscript --------------------";
    1.33 +"-------------- check positions in miniscript --------------------";
    1.34 +"-------------- check positions in miniscript --------------------";
    1.35  val fmz = ["equality (x+1=(2::int))",
    1.36  	   "solveFor x","solutions L"];
    1.37  val (dI',pI',mI') =