1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/java-sml-bugs.txt Thu Nov 22 10:37:13 2007 +0100
1.3 @@ -0,0 +1,156 @@
1.4 +~/proto2/isac/src/java-sml-bugs.txt
1.5 +Bugs apparently caused by the SML kernel
1.6 +encountered at the isac front-end
1.7 +========================================
1.8 +reference UCs by 'text of headline of usecase'
1.9 +========================================
1.10 +
1.11 +
1.12 +please, locate the bug in one ore more UseCases (UC)
1.13 +together with the example (should be from pbl-browser IsacCore/test/..
1.14 +-------------------------------------------------------------------------------
1.15 +most urgent bugs are on top (shuffled there by the isac-admin),
1.16 +bugfixes are appended by date at the end (by the isac-admin).
1.17 +
1.18 +###############################################################################
1.19 +# newly entered bugs (not yet noticed by the isac/admin) #
1.20 +###############################################################################
1.21 +
1.22 +
1.23 +===============================================================================
1.24 +WN071105 fetchApplicableTactics + setNextTactic is followed by autoCalculate
1.25 + this may work if tac is applicable,
1.26 + but is does NOT work if not: autoCalculate just does successfully again
1.27 + instead of doing nothing or CalcMessage
1.28 +-------------------------------------------------------------------------------
1.29 +
1.30 +===============================================================================
1.31 +-------------------------------------------------------------------------------
1.32 +
1.33 +===============================================================================
1.34 +-------------------------------------------------------------------------------
1.35 +
1.36 +###############################################################################
1.37 +# most urgent bugs are on top (shuffled there by the isac-admin) #
1.38 +###############################################################################
1.39 +
1.40 +===============================================================================
1.41 +WN060520 ProblemBrowser <To Worksheet> does _not_ transfer the _marked_
1.42 + pbl, but the 'right' pbl stored in the PblNd
1.43 +-------------------------------------------------------------------------------
1.44 +===============================================================================
1.45 +WN060329 mini-subpbl
1.46 + # <NEXT><NEXT> --> x + 1 + -1 * 2 = 0
1.47 + # input: x - 1 = 0
1.48 + # Enter, ... evertything ok
1.49 + # right mouse on x - 1 = 0 <intermediate steps> doesnt show anything
1.50 + BridgeLog Java <=> SML shows reason:
1.51 + * sent to bridge: interSteps 9 ([2],Res);
1.52 + [[from client_1: interSteps 9 ([2],Res);
1.53 + [[from sml: > @@@@@begin@@@@@
1.54 + [[from sml: 9
1.55 + [[from sml: <INTERSTEPS>
1.56 + [[from sml: <CALCID> 9 </CALCID>
1.57 + [[from sml: <CALCCHANGED>
1.58 + [[from sml: <UNCHANGED>
1.59 + [[from sml: <INTLIST> should be
1.60 + [[from sml: <INT> 2 </INT> 1
1.61 + [[from sml: <INT> 9 </INT> //
1.62 + [[from sml: </INTLIST>
1.63 + [[from sml: <POS> Res </POS> Res
1.64 + [[from sml: </UNCHANGED>
1.65 + [[from sml: <DELETED>
1.66 + [[from sml: <INTLIST>
1.67 + [[from sml: <INT> 2 </INT> 1
1.68 + [[from sml: <INT> 9 </INT> //
1.69 + [[from sml: </INTLIST>
1.70 + [[from sml: <POS> Res </POS> Res
1.71 + [[from sml: </DELETED>
1.72 + [[from sml: <GENERATED>
1.73 + [[from sml: <INTLIST>
1.74 + [[from sml: <INT> 2 </INT> 2
1.75 + [[from sml: <INT> 9 </INT> 9
1.76 + [[from sml: </INTLIST>
1.77 + [[from sml: <POS> Res </POS> Res
1.78 + [[from sml: </GENERATED>
1.79 + [[from sml: </CALCCHANGED>
1.80 + [[from sml: </INTERSTEPS>
1.81 + [[from sml: @@@@@end@@@@@
1.82 + * thus the following call is wrong:
1.83 + getFormulaeFromTo 6 ([2,9],Res) ([2,9],Res)
1.84 +-------------------------------------------------------------------------------
1.85 +
1.86 +===============================================================================
1.87 +WN060103 mini-subpbl on 2nd solve .. CalcHeadPanel
1.88 + # 3-times <next> ... completes Model
1.89 + # <start solving> ... !closes CalcHeadPanel, although not correct
1.90 + (specification is still empty)
1.91 +-------------------------------------------------------------------------------
1.92 +
1.93 +===============================================================================
1.94 +WN051223 mini-subpbl on 1st formula:
1.95 + # CalcHead
1.96 + # 1x input, eg. solveFor x
1.97 + # <Complete>
1.98 + # <Start Solving> --> CalcTree#fetchProposedTactic --> Nullpointer Exn
1.99 +-------------------------------------------------------------------------------
1.100 +
1.101 +===============================================================================
1.102 +WN041008 UC?? CalcHead in minisubpbl as comes first in Bridgelog>
1.103 + # belongsto Met ?!
1.104 + # <WHERE> </WHERE> ... is empty ?!
1.105 +-------------------------------------------------------------------------------
1.106 +
1.107 +===============================================================================
1.108 +LK040901 UC Calculate the Next Formula.\label{SOLVE:AUTO:one}
1.109 + UC Calculate until a Final Result is Reached.\label{SOLVE:AUTO:all}
1.110 + miniscript_with_mini-subproblem:
1.111 +single step bis Subproblem am Worksheet, dann auto --> NIXmehr
1.112 +-------------------------------------------------------------------------------
1.113 +
1.114 +===============================================================================
1.115 +WN040924 UCs wie LK040901: systests/
1.116 +"--------- miniscript with mini-subpbl AUTO CompleteCalcHead------";
1.117 + states:=[];
1.118 + CalcTree
1.119 + [(["equality (x+1=2)", "solveFor x","solutions L"],
1.120 + ("Test.thy",
1.121 + ["sqroot-test","univariate","equation","test"],
1.122 + ["Test","squ-equ-test-subpbl1"]))];
1.123 + Iterator 1;
1.124 +(* doesn't terminate !!!
1.125 + autoCalculate 1 CompleteCalcHead;
1.126 +*)
1.127 +-------------------------------------------------------------------------------
1.128 +
1.129 +===============================================================================
1.130 +WN041211
1.131 +((MockIToUser) user).getCalcChangedEvent() returns incorrect positions in
1.132 +javatest/isac/bridge/TestBridge#testMinisubpblNextStep
1.133 +-------------------------------------------------------------------------------
1.134 +
1.135 +===============================================================================
1.136 +WN041211 relate naming Java - SML
1.137 + getFormula refFormula
1.138 +
1.139 +-------------------------------------------------------------------------------
1.140 +
1.141 +===============================================================================
1.142 +WN041211 not implemented SML (+Java ?) - code:
1.143 + getAssumption
1.144 +
1.145 +-------------------------------------------------------------------------------
1.146 +
1.147 +===============================================================================
1.148 +-------------------------------------------------------------------------------
1.149 +
1.150 +===============================================================================
1.151 +-------------------------------------------------------------------------------
1.152 +
1.153 +
1.154 +###############################################################################
1.155 +# bug fixes #
1.156 +###############################################################################
1.157 +===============================================================================
1.158 +WN071105??? WN060610 user-input in Simplify doesnt work
1.159 +-------------------------------------------------------------------------------