Пример #1
0
def run_doctests(args):
    from sage.doctest.control import DocTestController
    DC = DocTestController(*args)
    err = DC.run()
    sys.exit(err)
Пример #2
0
                          force_lib=True,
                          abspath=True)

import os, sage.env, glob, sys

abs_file = os.path.abspath("check_sage_testsuite.py")
os.chdir(os.path.join(sage.env.SAGE_LIB, 'sage'))
files = [
    "coding", "combinat/designs", "combinat/integer_vector.py",
    "combinat/posets/", "game_theory/", "geometry/polyhedron/base.py",
    "geometry/cone.py", "graphs/", "homology/simplicial_complex.py", "knots/",
    "matroids/", "sat/"
]

files += glob.glob("numerical/*.py") + glob.glob("numerical/*.pyx")

# First verify that we installed the default backend
DC = DocTestController(options, [abs_file])
err = DC.run()
if err != 0:
    print("Error: Setting the default solver did not work", file=sys.stderr)
    sys.exit(2)

# from $SAGE_SRC/bin/sage-runtests
DC = DocTestController(options, files)
err = DC.run()
if err != 0:
    sys.exit(1)

sys.exit(0)
Пример #3
0
def run_doctests(args):
    from sage.doctest.control import DocTestController
    DC = DocTestController(*args)
    err = DC.run()
    sys.exit(err)
Пример #4
0
#!/usr/local/bin/sage

from sage.doctest.control import DocTestDefaults, DocTestController
from sys import argv

args=argv
args.pop(0)
args = [ arg for arg in args if not "run_test.py" in arg ]

DD = DocTestDefaults()
DC = DocTestController(DD, args)
DC.run()