From 567d1c932284bdd53c60937ff6f4ce4a63d104bf Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 15:56:41 +0000 Subject: test(extern): call functions from a user C object Co-Authored-By: Claude Sonnet 5.5 --- tests/i/extern-c-object/notes.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/i/extern-c-object/notes.md (limited to 'tests/i/extern-c-object/notes.md') diff --git a/tests/i/extern-c-object/notes.md b/tests/i/extern-c-object/notes.md new file mode 100644 index 0000000..51af8cb --- /dev/null +++ b/tests/i/extern-c-object/notes.md @@ -0,0 +1,7 @@ +# extern-c-object + +Human review: pending. Expected output was independently traced by AI, not captured from cpsc. + +Basis: compiler extension (EXTERN "C", INCLUDE_OBJ of a user object); C semantics. + +Trace: the harness compiles `lib.c` with the host C compiler (`objects` in `case.json`). add3(1,2,3)=6. scale(2.5,4)=10.0, printed like other C doubles as `10.000000`. name_length("cambridge")=9. next_call increments a static counter in the object, giving 1 then 2. say calls puts, which prints the string and a newline. -- cgit v1.3.1-4-g156e