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

Add and fix Aqua tests #785

Merged
merged 1 commit into from
Jul 2, 2022
Merged

Add and fix Aqua tests #785

merged 1 commit into from
Jul 2, 2022

Conversation

charleskawczynski
Copy link
Member

This PR adds Aqua tests, specifically, Aqua.test_unbound_args(ClimaCore), which tests that no functions defined in ClimaCore run into this julia issue.

Adding this test revealed 9 instances of this issue, and the PR also includes fixes so that we pass all of the tests.

@charleskawczynski
Copy link
Member Author

It may be that we want to include type parameters in copyto!, in which case, the only solution I see is to split the method based on the unions of the input arguments to ensure that we don't run into this problem.

@charleskawczynski
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Jul 1, 2022
@charleskawczynski
Copy link
Member Author

bors try-

@charleskawczynski charleskawczynski force-pushed the ck/aqua branch 2 times, most recently from 37051bf to 797e39e Compare July 1, 2022 17:54
@charleskawczynski
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Jul 1, 2022
@bors
Copy link
Contributor

bors bot commented Jul 1, 2022

try

Build failed:

@charleskawczynski
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Jul 1, 2022
@bors
Copy link
Contributor

bors bot commented Jul 1, 2022

try

Build failed:

@charleskawczynski
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Jul 1, 2022
@bors
Copy link
Contributor

bors bot commented Jul 1, 2022

try

Build failed:

@charleskawczynski
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Jul 1, 2022
Fix Aqua tests

Add compat entry for Aqua

Fix dispatching
@charleskawczynski
Copy link
Member Author

I think this is ready to go, cc @simonbyrne. Going to squash now.

@charleskawczynski
Copy link
Member Author

All these changes look safe to me. Merging. cc @simonbyrne.

@charleskawczynski
Copy link
Member Author

bors r+

@bors bors bot merged commit 25a4c04 into main Jul 2, 2022
@bors bors bot deleted the ck/aqua branch July 2, 2022 00:41
@simonbyrne
Copy link
Member

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants