tests/run-tests.py
changeset 1308 12c752c0a02b
parent 1307 164ed9bf157c
child 1313 2a1cad657b6d
equal deleted inserted replaced
1306:c8f3a433abe6 1308:12c752c0a02b
  1132         for s in results['!']:
  1132         for s in results['!']:
  1133             print "Failed %s: %s" % s
  1133             print "Failed %s: %s" % s
  1134         _checkhglib("Tested")
  1134         _checkhglib("Tested")
  1135         print "# Ran %d tests, %d skipped, %d failed." % (
  1135         print "# Ran %d tests, %d skipped, %d failed." % (
  1136             tested, skipped + ignored, failed)
  1136             tested, skipped + ignored, failed)
       
  1137         if results['!']:
       
  1138             print 'python hash seed:', os.environ['PYTHONHASHSEED']
  1137         if options.time:
  1139         if options.time:
  1138             outputtimes(options)
  1140             outputtimes(options)
  1139 
  1141 
  1140         if options.anycoverage:
  1142         if options.anycoverage:
  1141             outputcoverage(options)
  1143             outputcoverage(options)
  1183 
  1185 
  1184     if 'PYTHONHASHSEED' not in os.environ:
  1186     if 'PYTHONHASHSEED' not in os.environ:
  1185         # use a random python hash seed all the time
  1187         # use a random python hash seed all the time
  1186         # we do the randomness ourself to know what seed is used
  1188         # we do the randomness ourself to know what seed is used
  1187         os.environ['PYTHONHASHSEED'] = str(random.getrandbits(32))
  1189         os.environ['PYTHONHASHSEED'] = str(random.getrandbits(32))
  1188         print 'python hash seed:', os.environ['PYTHONHASHSEED']
       
  1189 
  1190 
  1190     global TESTDIR, HGTMP, INST, BINDIR, PYTHONDIR, COVERAGE_FILE
  1191     global TESTDIR, HGTMP, INST, BINDIR, PYTHONDIR, COVERAGE_FILE
  1191     TESTDIR = os.environ["TESTDIR"] = os.getcwd()
  1192     TESTDIR = os.environ["TESTDIR"] = os.getcwd()
  1192     if options.tmpdir:
  1193     if options.tmpdir:
  1193         options.keep_tmpdir = True
  1194         options.keep_tmpdir = True