diff options
Diffstat (limited to 'test/default_run.py')
| -rwxr-xr-x | test/default_run.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/default_run.py b/test/default_run.py index e102311ce7..e3e5d21dbb 100755 --- a/test/default_run.py +++ b/test/default_run.py @@ -669,8 +669,8 @@ def default_run(ctx, args, **kwargs): INT_OPTS += " -Xcompiler-option --compiler-filter=verify" COMPILE_FLAGS += " --compiler-filter=verify" elif VERIFY == "s": - INT_OPTS += " -Xcompiler-option --compiler-filter=extract" - COMPILE_FLAGS += " --compiler-filter=extract" + INT_OPTS += " -Xcompiler-option --compiler-filter=verify" + COMPILE_FLAGS += " --compiler-filter=verify" DEX_VERIFY = f"{DEX_VERIFY} -Xverify:softfail" else: # VERIFY == "n" INT_OPTS += " -Xcompiler-option --compiler-filter=assume-verified" |