32 lines
468 B
Markdown
32 lines
468 B
Markdown
# Claro v1.14.26 Validation
|
|
|
|
Validated commands:
|
|
|
|
```bash
|
|
gcc -std=c99 src/claro.c -O0 -o claro -lm
|
|
./claro --version
|
|
./claro test
|
|
./claro typecheck tests/typecheck_good.claro
|
|
./claro validate
|
|
```
|
|
|
|
Expected version:
|
|
|
|
```text
|
|
Claro v1.14.26
|
|
```
|
|
|
|
Expected test result:
|
|
|
|
```text
|
|
PASS: 0 failure(s)
|
|
```
|
|
|
|
Expected typecheck result for `tests/typecheck_good.claro`:
|
|
|
|
```text
|
|
Type check OK
|
|
```
|
|
|
|
`tests/typecheck_bad.claro` is intentionally bad and should report type errors.
|