| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Fri, 24 Oct 2025 11:26:43 +0100 | |
| changeset 1018 | fd6a64c53f0e |
| parent 977 | 7a02c5b9e0df |
| permissions | -rw-r--r-- |
|
977
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
// for testing compilation |
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
import $file.cw051_add |
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
import cw051_add._ |
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
|
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
val mand = os.read(os.pwd / "mand.fun") |
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
|
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
test_string(mand, "mand") |
|
7a02c5b9e0df
updated marking scripts
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |