1.1 --- a/test/Tools/isac/Specify/m-match.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Specify/m-match.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  		 Free (dI',_) $ 
     1.5  		 (Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
     1.6      (*...copied from LItool.tac_from_prog*)
     1.7 -    TermC.str2term (
     1.8 +    TermC.parse_test @{context} (
     1.9  	"SubProblem (EqSystemX, [LINEAR, system], [no_met])         " ^
    1.10          "     [BOOL_LIST [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]," ^
    1.11          "      REAL_LIST [c, c_2]]");
    1.12 @@ -85,7 +85,7 @@
    1.13  		 Free (dI',_) $ 
    1.14  		 (Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.15      (*...copied from LItool.tac_from_prog*)
    1.16 -    TermC.str2term (
    1.17 +    TermC.parse_test @{context} (
    1.18  	"SubProblem (EqSystemX, [LINEAR, system], [no_met])         " ^
    1.19          "     [BOOL_LIST [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]," ^
    1.20          "      REAL_LIST [c, c_2], BOOL_LIST ss''']");
    1.21 @@ -111,7 +111,7 @@
    1.22  		Free (dI',_) $ 
    1.23  		(Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.24      (*...copied from LItool.tac_from_prog*)
    1.25 -    TermC.str2term (
    1.26 +    TermC.parse_test @{context} (
    1.27  	"SubProblem (EqSystemX, [LINEAR, system], [no_met]) " ^
    1.28          "     [REAL_LIST [c, c_2]]");
    1.29  val ags = isalist2list ags'; 
    1.30 @@ -151,7 +151,7 @@
    1.31  		 Free (dI',_) $ 
    1.32  		 (Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.33      (*...copied from LItool.tac_from_prog*)
    1.34 -    TermC.str2term (
    1.35 +    TermC.parse_test @{context} (
    1.36  	"SubProblem (EqSystemX, [LINEAR, system], [no_met])         " ^
    1.37          "     [BOOL_LIST [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]," ^
    1.38          "      REAL_LIST [c, c_2]]");
    1.39 @@ -176,7 +176,7 @@
    1.40  		 Free (dI',_) $ 
    1.41  		 (Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.42      (*...copied from LItool.tac_from_prog*)
    1.43 -    TermC.str2term (
    1.44 +    TermC.parse_test @{context} (
    1.45  	"SubProblem (EqSystemX, [LINEAR, system], [no_met])         " ^
    1.46          "     [BOOL_LIST [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]," ^
    1.47          "      REAL_LIST [c, c_2], BOOL_LIST ss''']");
    1.48 @@ -202,7 +202,7 @@
    1.49  		Free (dI',_) $ 
    1.50  		(Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.51      (*...copied from LItool.tac_from_prog*)
    1.52 -    TermC.str2term (
    1.53 +    TermC.parse_test @{context} (
    1.54  	"SubProblem (EqSystemX, [LINEAR, system], [no_met]) " ^
    1.55          "     [REAL_LIST [c, c_2]]");
    1.56  val ags = isalist2list ags'; 
    1.57 @@ -247,7 +247,7 @@
    1.58  		Free (dI',_) $ 
    1.59  		(Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.60      (*...copied from LItool.tac_from_prog*)
    1.61 -   TermC.str2term (
    1.62 +   TermC.parse_test @{context} (
    1.63  	"SubProblem (TestX,[univariate,equation,test]," ^
    1.64          "             [no_met]) [BOOL (x+1=2), REAL x]");
    1.65  val AGS = isalist2list ags';
    1.66 @@ -265,7 +265,7 @@
    1.67  		Free (dI',_) $ 
    1.68  		(Const (\<^const_name>\<open>Pair\<close>,_) $ pI' $ mI')) $ ags' =
    1.69      (*...copied from LItool.tac_from_prog*)
    1.70 -    TermC.str2term (
    1.71 +    TermC.parse_test @{context} (
    1.72  	"SubProblem (TestX,[univariate,equation,test]," ^
    1.73          "             [no_met]) [BOOL (x+1=2), REAL x]");
    1.74  val AGS = isalist2list ags';