1 |
This directory contains test cases for most of the required structures |
This directory (tests/basis/tests) contains test cases for most of the |
2 |
in the new SML Basis Library. 1995-03-23, 1996-04-19, 1997-03-12 |
required structures in the new SML Basis Library. |
3 |
|
1995-03-23, 1996-04-19, 1997-03-12, 2000-02-29 |
4 |
|
|
5 |
The directory must contain this file "README" and three symbolic links: |
The directory must contain this file "README" and three symbolic links: |
6 |
|
|
7 |
testlink -> README |
testlink -> README |
8 |
testcycl -> testcycl |
testcycl -> testcycl |
9 |
testbadl -> exists.not |
testbadl -> exists.not |
10 |
|
|
11 |
It must not contain a file or directory named "exists.not". |
It must not contain a file or directory named "exists.not". |
12 |
|
|
13 |
To run all the tests, invoke (for Moscow ML): |
It must also contain two files |
14 |
|
|
15 |
|
hardlinkA |
16 |
|
hardlinkB |
17 |
|
|
18 |
|
which are hard links to the same file. |
19 |
|
|
20 |
|
To create the symbolic links, execute the following commands in |
21 |
|
this directory (tests/basis/tests). |
22 |
|
|
23 |
|
ln -s README testlink |
24 |
|
ln -s testcycl testcycl |
25 |
|
ln -s exists.not testbadl |
26 |
|
|
27 |
rm -f result *.dat |
To create hardlinkA and hardlinkB, execute the following |
|
mosml -P full test.sml >& result |
|
|
diff result result.ok |
|
28 |
|
|
29 |
Some things which are specific to Moscow ML are indicated by the |
touch hardlinkA |
30 |
comment (* MOSML *). |
ln hardlinkA hardlinkB |
31 |
|
|
32 |
|
Note: the files testlink, testcycl, testbadl, hardlinkA and hardlinkB |
33 |
|
are not in the CVS repository for sml/tests. They have to be manually |
34 |
|
created after the directory is checked out. |
35 |
|
|
36 |
Peter Sestoft (sestoft@dina.kvl.dk) |
Dave MacQueen |
37 |
Department of Mathematics and Physics |
29 Feb 2000 |
|
Royal Veterinary and Agricultural University |
|
|
Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark |
|