[acl2/acl2] 1b72d7: [C$] Add forgotten test file.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 1b72d7353a49bb447c40840f8dff101649556831
https://github.com/acl2/acl2/commit/1b72d7353a49bb447c40840f8dff101649556831
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-16 (Tue, 16 Dec 2025)

Changed paths:
A books/kestrel/c/syntax/tests/null-directive.c

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



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