Skip to content

remove test with too-large alignment - #1329

Merged
nunoplopes merged 1 commit into
AliveToolkit:masterfrom
regehr:alignment-too-big
Jul 23, 2026
Merged

remove test with too-large alignment#1329
nunoplopes merged 1 commit into
AliveToolkit:masterfrom
regehr:alignment-too-big

Conversation

@regehr

@regehr regehr commented Jul 22, 2026

Copy link
Copy Markdown
Contributor

the module verifier now rejects alignments that are wider than i64, let's get rid of it since it doesn't obviously add value after a quick look at its siblings

@nunoplopes
nunoplopes merged commit a68009c into AliveToolkit:master Jul 23, 2026
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants