diff options
author | 2023-09-06 13:49:20 +0100 | |
---|---|---|
committer | 2023-09-06 16:01:52 +0000 | |
commit | 637393a0d41e7079764238ad7a207525520e05be (patch) | |
tree | 6fb6b44a37e1393223478b8df7019bd33d97d0d0 /test/default_run.py | |
parent | 6e56243194005019c00da0edc767d74f095eeb05 (diff) |
Run-test: Fix host log regexp
If the PID is small enough there can be extra white-space.
Test: Run "./art/test.py -r --host" in a loop for a while
Change-Id: Ie826ea317ff9b18a86c3317009ae752c2317c2c1
Diffstat (limited to 'test/default_run.py')
-rwxr-xr-x | test/default_run.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/default_run.py b/test/default_run.py index 6fcaa1687b..7a482dfba2 100755 --- a/test/default_run.py +++ b/test/default_run.py @@ -989,7 +989,8 @@ def default_run(ctx, args, **kwargs): # In particular, unhandled exception is printed using several unterminated printfs. ALL_LOG_TAGS = ["V", "D", "I", "W", "E", "F", "S"] skip_tag_set = "|".join(ALL_LOG_TAGS[:ALL_LOG_TAGS.index(args.diff_min_log_tag.upper())]) - skip_reg_exp = fr'#-# #:#:# # # ({skip_tag_set}) [^\n]*\n'.replace('#', '[0-9.]+') + skip_reg_exp = fr'#-# #:#:# # # ({skip_tag_set}) [^\n]*\n' + skip_reg_exp = skip_reg_exp.replace('#', '[0-9.]+').replace(' ', ' +') ctx.run(fr"sed -i -z -E 's/{skip_reg_exp}//g' '{args.stderr_file}'") if not HAVE_IMAGE: message = "(Unable to open file|Could not create image space)" |