neuper@37906
|
1 |
(* use"systest/interface-xml.sml";
|
neuper@37906
|
2 |
use"interface-xml.sml";
|
neuper@37906
|
3 |
*)
|
neuper@37906
|
4 |
|
walther@60230
|
5 |
(*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefFormula*)
|
Walther@60565
|
6 |
refformulaOK2xml 1 ([1],Frm) (Form (TermC.parse_test @{context} "x+1=2"));
|
walther@60230
|
7 |
(*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefCalcHead*)
|
walther@59977
|
8 |
refformulaOK2xml 1 ([1],Pbl) (ModSpec Specification_Def.empty);
|
neuper@37906
|
9 |
|
Walther@60565
|
10 |
getintervalOK 1 [(([2],Res), TermC.parse_test @{context} "x = 4"),
|
Walther@60565
|
11 |
(([3],Pbl), TermC.parse_test @{context} "e_headline"),
|
Walther@60565
|
12 |
(([3,1],Frm), TermC.parse_test @{context} "-1+x=0")];
|