import sys, os
import addchecks
import typecheck

mydir = os.path.split(sys.argv[0])[0]
testaddchecks = os.path.join(mydir, "testaddchecks.py") 
testchecks = os.path.join(mydir, "testchecks.py")

# run this in optimized mode so that it does NOT use typechecking
# otherwise a bug in the typechecking code could make it impossible to
# install the fix to the typechecking code!
os.system(sys.executable + " -O "+ testaddchecks)
os.system(sys.executable + " " + testchecks)