[acl2/acl2] 9c9945: [C$] Add forgotten test files.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 9c99457b5f7f34553bc1efcc4ab71144b7feedda
https://github.com/acl2/acl2/commit/9c99457b5f7f34553bc1efcc4ab71144b7feedda
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

Changed paths:
A books/kestrel/c/syntax/tests/disamb-example2/guarded-included.h
A books/kestrel/c/syntax/tests/disamb-example2/including.c
A books/kestrel/c/syntax/tests/disamb-example2/including1.c
A books/kestrel/c/syntax/tests/disamb-example2/including2.c

Log Message:
-----------
[C$] Add forgotten test files.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications