diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-01-27 12:09:59 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-27 12:09:59 -0800 |
commit | 9a3729115db95b3bbcb47f2496c362e4a3489be0 (patch) | |
tree | 0068fdb3c7cef8d9caa6186b1122f88b374a7f12 | |
parent | 215b64b1610f686a3a9dd21c28350af381fc2132 (diff) |
option for _ta2 in test_cases which is only run in ta2
-rwxr-xr-x | tests/runner.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/runner.py b/tests/runner.py index bfbbf69e..1664de07 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -4429,6 +4429,9 @@ def process(filename): for name in glob.glob(path_from_root('tests', 'cases', '*.ll')): shortname = name.replace('.ll', '') if '' not in shortname: continue + if '_ta2' in shortname and not Settings.USE_TYPED_ARRAYS == 2: + print self.skip('case only relevant for ta2') + continue print >> sys.stderr, "Testing case '%s'..." % shortname output_file = path_from_root('tests', 'cases', shortname + '.txt') if Settings.QUANTUM_SIZE == 1: |