[acl2/acl2] 91cd01: [C2C] Add a command-line add-section-attr test

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 91cd0157442919f30af9f7ad74a7ada0c199d9af
https://github.com/acl2/acl2/commit/91cd0157442919f30af9f7ad74a7ada0c199d9af
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
A books/kestrel/c/transformation/command-line/tests/add-section-attr2.json
A books/kestrel/c/transformation/command-line/tests/input-files/file11.c
M books/kestrel/c/transformation/command-line/tests/run-tests.sh

Log Message:
-----------
[C2C] Add a command-line add-section-attr test



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

[Grant Jurgensen]

Branch: refs/heads/master