Skip to content

fix: correct assetion logic#122

Merged
tisonkun merged 1 commit into
apache:mainfrom
tabac:hll-array4-assertion
May 11, 2026
Merged

fix: correct assetion logic#122
tisonkun merged 1 commit into
apache:mainfrom
tabac:hll-array4-assertion

Conversation

@tabac
Copy link
Copy Markdown
Contributor

@tabac tabac commented May 11, 2026

For exceptions stored in the auxiliary map, the corresponding register should be the max possible value (AUX_TOKEN).

I believe we have to assert the opposite of what we do in that case, that is that the value of the slot is AUX_TOKEN.

Copy link
Copy Markdown
Member

@notfilippo notfilippo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense to me! Thanks for catching

@notfilippo notfilippo mentioned this pull request May 11, 2026
Copy link
Copy Markdown
Member

@tisonkun tisonkun left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. This should be guarded with a unit test, which we can add later.

@tisonkun tisonkun merged commit 812aa90 into apache:main May 11, 2026
9 checks passed
@tisonkun
Copy link
Copy Markdown
Member

Thanks for your contribution @tabac! I added a regression test at #123. Welcome to drop a review there.

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.

3 participants