-
-
Notifications
You must be signed in to change notification settings - Fork 221
Add JET and Aqua Tests to Subpackages #2665
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
base: master
Are you sure you want to change the base?
Conversation
Can you also do a full Aqua QA test? |
Note that you should probably be careful with JET versioning, for instance |
Many of these are legitimate JET/Aqua failures. Adding these tests without taking care of those issues (if we can) will add a lot of noise when looking at test failures. I can disable the failing tests for each package though to get it set up. |
IMO it's probably at least worth a try to fix the issues. |
Do the same as what was done for the other repos. Cut it down to subsets, disable what will take too much time for now and file issues on those, but get what we can https://github.com/SciML/ModelingToolkit.jl/pull/2364/files#diff-77acaaefd44e4d00398e2700bc87be028acc6625d6c01c480214e2b992929c0aR3 |
Jet complains about |
nowhere! this is the fun part about JET. It catches your totally broken code. |
I'm guessing there are no tests with |
both halves of that are unlikely yeah. |
fde6d8f
to
09f3145
Compare
Most of the failures are from the |
@@ -23,10 +23,14 @@ SymbolicIndexingInterface = "0.3.38" | |||
Test = "1.10.0" | |||
UnPack = "1.0.2" | |||
julia = "1.10" | |||
JET = "0.9.18" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
JET = "0.9.18" | |
JET = "0.9.18, 0.10" |
This should support Julia 1.12
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I thought about that but wouldn't that make it always use JET 0.10, unless JET has a compat restriction for Julia?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Keep in mind that JET 0.10 is marketed as experimental, especially for test_package
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This just uses it for typos, so hopefully that would be fine. Anyways, it doesn't work because it needs Julia 1.12.0-beta1.11
, but pre
only uses Julia 1.12.0-beta1
. Very cool.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It's `JET's job to provide appropriate compats (and I believe it does so).
Julia 1.12.0-beta1.11, but pre only uses Julia 1.12.0-beta1. Very cool.
never mind. That sounds like a JET bug...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
no
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
my buest guess is there's a missing comma?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It does ask you to use a specific branch at https://github.com/aviatesk/JET.jl/blob/master/CHANGELOG.md#0103:
"However, to use JET v0.10.3, you need to use Julia version v"1.12.0-beta1.11" or later. As of April 19, 2025, you need to build Julia from JuliaLang/julia#58009 for using this 1.12 beta version."
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yeah that's fine. If you look at https://github.com/aviatesk/JET.jl/blob/v0.10.4/Project.toml it shows that the minimum Julia compat for JET@1.10 is Julia@1.12
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ok, so probably just a typo there. The real issue is that test_package
isn't available in JET 0.10.4, even though the changelog says it should be.
Checklist
contributor guidelines, in particular the SciML Style Guide and
COLPRAC.
Additional context
This adds JET
test_package
https://aviatesk.github.io/JET.jl/dev/jetanalysis/#JET.test_package in the typo mode to catch typos in every subpackage.#2663