Files
Claro/docs/V1_14_VALIDATION.md
T

468 B

Claro v1.14.26 Validation

Validated commands:

gcc -std=c99 src/claro.c -O0 -o claro -lm
./claro --version
./claro test
./claro typecheck tests/typecheck_good.claro
./claro validate

Expected version:

Claro v1.14.26

Expected test result:

PASS: 0 failure(s)

Expected typecheck result for tests/typecheck_good.claro:

Type check OK

tests/typecheck_bad.claro is intentionally bad and should report type errors.