neuper@37906
|
1 |
(* use"systest/interface-xml.sml";
|
neuper@37906
|
2 |
use"interface-xml.sml";
|
neuper@37906
|
3 |
*)
|
neuper@37906
|
4 |
|
neuper@37906
|
5 |
(*see javatest.isac.util.parse.TestXMLParserDigest#testParseRefFormula*)
|
neuper@37906
|
6 |
refformulaOK2xml 1 ([1],Frm) (Form (str2term "x+1=2"));
|
neuper@37906
|
7 |
(*see javatest.isac.util.parse.TestXMLParserDigest#testParseRefCalcHead*)
|
neuper@37906
|
8 |
refformulaOK2xml 1 ([1],Pbl) (ModSpec e_ocalhd);
|
neuper@37906
|
9 |
|
neuper@37906
|
10 |
getintervalOK 1 [(([2],Res), str2term "x = 4"),
|
neuper@37906
|
11 |
(([3],Pbl), str2term "e_headline"),
|
neuper@37906
|
12 |
(([3,1],Frm), str2term "-1+x=0")];
|