Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Interpret/inform.sml
changeset 55279 130688f277ba
parent 52105 2786cc9704c8
child 55402 d580d7fc9b8e
equal deleted inserted replaced
55278:180cb68e796f 55279:130688f277ba 
   218  then () (*finds 1 step too early: ([3,2], Res) "x = 1" also by script !!!*)
 
   218  then () (*finds 1 step too early: ([3,2], Res) "x = 1" also by script !!!*)
 
   219  else error "inform.sml: diff.behav.appendFormula: Res + late d 1";
 
   219  else error "inform.sml: diff.behav.appendFormula: Res + late d 1";
 
   220 
   220 
   221  fetchProposedTactic 1;
 
   221  fetchProposedTactic 1;
 
   222  val (_,(tac,_,_)::_) = get_calc 1;
 
   222  val (_,(tac,_,_)::_) = get_calc 1;
 
   223  if tac = Check_Postcond ["linear", "univariate", "equation", "test"] then ()
 
   223  if tac = Check_Postcond ["LINEAR", "univariate", "equation", "test"] then ()
 
   224  else error "inform.sml: diff.behav.appendFormula: Res + late d 2";
 
   224  else error "inform.sml: diff.behav.appendFormula: Res + late d 2";
 
   225  autoCalculate 1 CompleteCalc;
 
   225  autoCalculate 1 CompleteCalc;
 
   226  val ((pt,_),_) = get_calc 1;
 
   226  val ((pt,_),_) = get_calc 1;
 
   227  if "[x = 1]" = term2str (fst (get_obj g_result pt [])) then ()
 
   227  if "[x = 1]" = term2str (fst (get_obj g_result pt [])) then ()
 
   228  else error "inform.sml: diff.behav.appendFormula: Res + late d 3";
 
   228  else error "inform.sml: diff.behav.appendFormula: Res + late d 3";
wneuper/isa