equal
deleted
inserted
replaced
1 (* Title: 000-comments.sml |
1 (* Title: 000-comments.sml |
2 Author: Walther Neuper 1105 |
2 Author: Walther Neuper 1105 |
3 (c) copyright due to lincense terms. |
3 (c) copyright due to lincense terms. |
4 *) |
4 *) |
5 |
5 |
6 (* The tests in this directory use one specific example exclusively. |
6 (* The tests in this directory use specific example exclusively |
|
7 * nnn- Minisubpbl me + Step.do_next |
|
8 * nnna- Maximum-example me + Step.do_next |
|
9 * nnnb- biegel me + Step.do_next |
|
10 nnn- are specific: |
7 The example uses data specifically defined in Test.thy exclusively. |
11 The example uses data specifically defined in Test.thy exclusively. |
8 The example covers the essential features of isac's mathengine. |
12 The example covers the essential features of isac's mathengine. |
9 Each test is kept in a separate file. |
13 Each test is kept in a separate file. |
10 The order of the files reflects the sequence of work done by the mathengine. |
14 The order of the files reflects the sequence of work done by the mathengine. |
11 Testruns showing errors on files indicate roughly the points of failure. |
15 Testruns showing errors on files indicate roughly the points of failure. |
17 400 start and execute the method of the subproblem |
21 400 start and execute the method of the subproblem |
18 490 last step of execution with next step Check_Postcond |
22 490 last step of execution with next step Check_Postcond |
19 500 shift interpretation from sub-method to root-method |
23 500 shift interpretation from sub-method to root-method |
20 550 found error in Check_Elementwise Assumptions |
24 550 found error in Check_Elementwise Assumptions |
21 600 check postconditions of subproblem and rootproblem |
25 600 check postconditions of subproblem and rootproblem |
|
26 |
|
27 These examples step into relevant low level functions and help to develop respective new code. |
|
28 Goal: |
|
29 Outside this directory tests cover high level functions in order to support surveys. |
|
30 Currently many of tests outside address repair of errors with specific examples; |
|
31 these shall be removed and respective details be covered by "Minisubpbl" -?-> "Step_Tests" |
22 *) |
32 *) |