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