diff options
| -rw-r--r-- | tests/cases/phiself.py | 3 | ||||
| -rwxr-xr-x | tests/runner.py | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/tests/cases/phiself.py b/tests/cases/phiself.py index db08f82a..14cf8e21 100644 --- a/tests/cases/phiself.py +++ b/tests/cases/phiself.py @@ -1,2 +1,3 @@ -assert '$phi' not in generated, 'we should optimize out self-phis' +if Settings.MICRO_OPTS: + assert '$phi' not in generated, 'we should optimize out self-phis' diff --git a/tests/runner.py b/tests/runner.py index 1664de07..4cdd14f8 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -4430,7 +4430,7 @@ def process(filename): 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') + print self.skip('case "%s" only relevant for ta2' % shortname) continue print >> sys.stderr, "Testing case '%s'..." % shortname output_file = path_from_root('tests', 'cases', shortname + '.txt') |