diff options
Diffstat (limited to 'test/819-verification-runtime')
| -rw-r--r--[-rwxr-xr-x] | test/819-verification-runtime/run.py (renamed from test/819-verification-runtime/run) | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/819-verification-runtime/run b/test/819-verification-runtime/run.py index c8ce0bc53a..f20dbc0bd5 100755..100644 --- a/test/819-verification-runtime/run +++ b/test/819-verification-runtime/run.py @@ -14,5 +14,7 @@ # See the License for the specific language governing permissions and # limitations under the License. -# Target 31 to have the verifier behavior the test expects. -./default-run "$@" --runtime-option -Xtarget-sdk-version:31 + +def run(ctx, args): + # Target 31 to have the verifier behavior the test expects. + ctx.default_run(args, runtime_option=["-Xtarget-sdk-version:31"]) |