wneuper/isa: comparison test/Tools/isac/Interpret/script.sml

equal deleted inserted replaced

-:d44ce0c098a0
+:e0e3d41ef86c
 val PblObj {meth, spec = (thy, _ , metID), ...} = get_obj I pt''''' (fst p''''');
 "~~~~~ fun init_scrstate , args:"; val (thy, itms, metID) = (assoc_thy thy, meth, metID);
 val (ScrState st, ctxt, Prog _) = init_scrstate thy itms metID;
 if scrstate2str st =
-"([\"\n(l, L)\",\"\n(q, q_0)\",\"\n(v, x)\",\"\n(id_abl, dy)\",\"\n(b, y)\",\"\n(s, [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0])\",\"\n(vs, [c, c_2, c_3, c_4])\"], [], NONE, \n??.empty, Safe, true)"
+"([\"\n(l, L)\",\"\n(q, q_0)\",\"\n(v, x)\",\"\n(b, dy)\",\"\n(s, [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0])\",\"\n(vs, [c, c_2, c_3, c_4])\",\"\n(id_abl, y)\"], [], NONE, \n??.empty, Safe, true)"
 then () else error "init_scrstate changed for Biegelinie";
 (*[1], Pbl*)val (p,_,f,nxt,_,pt) = me nxt''''' p''''' c pt'''''; (*nxt = Model_Problem*)
 if p = ([1], Pbl) andalso (fst nxt) = "Model_Problem" then ()
 else error "modeling root-problem of Biegelinie 7.70 changed";