[acl2/acl2] 0247aa: [C2C] Adapt command-line tests to work on the Mac.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 0247aaba4d8f7b07894602bd90bb54a3e0e7f3bf
https://github.com/acl2/acl2/commit/0247aaba4d8f7b07894602bd90bb54a3e0e7f3bf
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-09 (Mon, 09 Feb 2026)

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

Log Message:
-----------
[C2C] Adapt command-line tests to work on the Mac.

On the Mac, the add-section-attr transformation needs to be given section names appropriate for Mach-O executables. Thanks to Alessandro Coglio for reporting this issue.



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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing