Skip to content

Use default values for out of bounds accesses in arrays#1216

Open
lorchrob wants to merge 8 commits into
kind2-mc:developfrom
lorchrob:array-default-values
Open

Use default values for out of bounds accesses in arrays#1216
lorchrob wants to merge 8 commits into
kind2-mc:developfrom
lorchrob:array-default-values

Conversation

@lorchrob

Copy link
Copy Markdown
Contributor

No description provided.

@lorchrob

Copy link
Copy Markdown
Contributor Author

hash_ty is currently unused, but I figured it may be useful in the future. Let me know if I should remove it from this PR.

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.

1 participant