Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | |
2 | File list.sml: Testing structure List... | |
3 | test1 OK | |
4 | test2 OK | |
5 | test3 OK | |
6 | test4 OK | |
7 | test5 OK | |
8 | test6 OK | |
9 | test7 OK | |
10 | test8 OK | |
11 | test9 OK | |
12 | test10 OK | |
13 | test11 OK | |
14 | test12 OK | |
15 | test13 OK | |
16 | test15 OK | |
17 | test16 OK | |
18 | test17 OK | |
19 | test18 OK | |
20 | test19 OK | |
21 | test20 OK | |
22 | checkv OK | |
23 | test22 OK | |
24 | checkv OK | |
25 | test24 OK | |
26 | test25 OK | |
27 | checkv OK | |
28 | checkv OK | |
29 | test28 OK | |
30 | test29 OK | |
31 | test30 OK | |
32 | test31 OK | |
33 | checkv OK | |
34 | test33 OK | |
35 | test36b OK | |
36 | test35a OK | |
37 | test36b OK | |
38 | test35c OK | |
39 | test36a OK | |
40 | test36b OK | |
41 | test36c OK | |
42 | test37a OK |