blob: 13d5f85c00e38d16253d06e386ae28334f65b6a9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
## Modal cross-impl tests
This runner builds the C and OCaml interpreters and compares outputs for each `.modal` file in `tests/cases/`.
Usage:
```
./tests/run.sh
```
Notes:
- Each test case is a `.modal` file consumable by both interpreters. Prefer using `..` input lines.
- The runner normalizes OCaml’s final tree format slightly for comparison and extracts the C interpreter final tree from stderr.
|