-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
hook up stdlib to the standard test running system #24701
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -2,7 +2,7 @@ | |
|
||
using Test | ||
|
||
function runtests(name, isolate=true; seed=nothing) | ||
function runtests(name, path, isolate=true; seed=nothing) | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. As this file is There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think I prefer to keep it explicit like this to potentially ease the use of this file in other contexts. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Ok no problem. But maybe then as in most of the cases the name is equal to the path, there could be a default, or even better a keyword |
||
old_print_setting = Test.TESTSET_PRINT_ENABLE[] | ||
Test.TESTSET_PRINT_ENABLE[] = false | ||
try | ||
|
@@ -19,7 +19,7 @@ function runtests(name, isolate=true; seed=nothing) | |
@timed @testset $"$name" begin | ||
# srand(nothing) will fail | ||
$seed != nothing && srand($seed) | ||
include($"$name.jl") | ||
include($"$path.jl") | ||
end | ||
end | ||
res_and_time_data = eval(m, ex) | ||
|
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 may be beyond the scope of this PR, but given #24628, there may or may not be a nicer way to report the error? (I didn't investigate more this question, and definitely non-blocking).