sage: default to long tests again

Changed by accident in 5e58c5f900.
This commit is contained in:
Timo Kaufmann 2019-08-09 18:42:14 +02:00
parent f5674b20ac
commit f6265b0da5

View File

@ -3,7 +3,7 @@
, sage-with-env , sage-with-env
, makeWrapper , makeWrapper
, files ? null # "null" means run all tests , files ? null # "null" means run all tests
, longTests ? false # run tests marked as "long time" (roughly doubles runtime) , longTests ? true # run tests marked as "long time" (roughly doubles runtime)
# Run as many tests as possible in approximately n seconds. This will give each # Run as many tests as possible in approximately n seconds. This will give each
# file to test a "time budget" and stop tests if it is exceeded. 300 is the # file to test a "time budget" and stop tests if it is exceeded. 300 is the
# upstream default value. # upstream default value.