Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix lazy generation of the string domain #547

Merged
merged 1 commit into from
Oct 11, 2022
Merged

Conversation

jcp19
Copy link
Contributor

@jcp19 jcp19 commented Oct 11, 2022

Currently, the String domain is always generated, even if it is not used because function strSlice is marked as non-lazy. This PR addresses that.

@jcp19 jcp19 requested a review from ArquintL October 11, 2022 09:41
@ArquintL
Copy link
Member

It's a bit strange that the unit tests are now running for more than 2h. I'm restarting them but suspect that there might be a different issue

@jcp19 jcp19 merged commit 6185b2b into master Oct 11, 2022
@jcp19 jcp19 deleted the joao-fix-generating-string branch October 11, 2022 13:04
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