From 2d509859d2eb0aa002d798aec6053968e040e36d Mon Sep 17 00:00:00 2001 From: RayPals Date: Mon, 1 Jun 2026 00:54:30 +0200 Subject: [PATCH] Add docs/RC3_VALIDATION.md from Claro v1.17.26 zip --- docs/RC3_VALIDATION.md | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 docs/RC3_VALIDATION.md 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.