diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-01-08 18:28:27 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-08 18:28:27 -0800 |
| commit | 4481e9a3fb12424fa7577acae0f3164fae331990 (patch) | |
| tree | 9f6e0b00cecd303ebe6ec04723a51642ab11a377 /tests | |
| parent | d947305bac486316e87a082e0261199c3c4ca6fb (diff) | |
improve test_cases printouts
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/runner.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runner.py b/tests/runner.py index 0f81d26d..6fe3e73e 100644 --- a/tests/runner.py +++ b/tests/runner.py @@ -4249,7 +4249,7 @@ def process(filename): for name in glob.glob(path_from_root('tests', 'cases', '*.ll')): shortname = name.replace('.ll', '') if '' not in shortname: continue - print "Testing case '%s'..." % shortname + print >> sys.stderr, "Testing case '%s'..." % shortname output_file = path_from_root('tests', 'cases', shortname + '.txt') if Settings.QUANTUM_SIZE == 1: q1_output_file = path_from_root('tests', 'cases', shortname + '_q1.txt') |