diff --git a/Project.toml b/Project.toml index a4ec3a1..4922ce5 100644 --- a/Project.toml +++ b/Project.toml @@ -23,9 +23,12 @@ SciMLTestingJETExt = "JET" Aqua = "0.8" ExplicitImports = "1" JET = "0.9.14, 0.10, 0.11, 0.12" +Pkg = "1.10" PrecompileTools = "1.2" +REPL = "1.10" SafeTestsets = "0.1" TOML = "1.0.3" +Test = "1.10" julia = "1.10" [extras] diff --git a/test/runtests.jl b/test/runtests.jl index 190dc9c..07857a6 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -1,12 +1,20 @@ using SciMLTesting using Test using Pkg +using TOML # Aqua and ExplicitImports are direct SciMLTesting deps, so they load with it. `using # JET` triggers SciMLTesting's JET weakdep extension, whose `__init__` registers JET # with SciMLTesting (see the "JET auto-detection" testset); JET must be available in # the test env for the extension to load. using JET +@testset "stdlib compat entries" begin + project = TOML.parsefile(joinpath(pkgdir(SciMLTesting), "Project.toml")) + for dependency in ("Pkg", "REPL", "Test") + @test haskey(project["compat"], dependency) + end +end + # Stand-in modules so the test exercises run_qa without a hard dependency on # Aqua/JET: they only need to expose the methods run_qa calls. Modules must be # defined at top level, not inside a @testset.