diff --git a/docs/RC3_VALIDATION.md b/docs/RC3_VALIDATION.md new file mode 100644 index 0000000..148c36d --- /dev/null +++ b/docs/RC3_VALIDATION.md @@ -0,0 +1,23 @@ +# Claro RC3 Validation + +Validated commands: + +```bash +gcc -std=c99 src/claro.c -O0 -o claro -lm +./claro --version +./claro test +./claro check lessons/01_hello.claro +./claro check lessons/08_functions.claro +./claro check tests/checker_fixtures/bad_unknown_command.claro +``` + +Expected result: + +```text +Claro RC3 +PASS: 0 failure(s) +OK +OK +``` + +The bad checker fixture should exit with a non-zero status and print a helpful diagnostic.