#!/bin/bash -x
SABLEVM="$HOME/work/usr/bin/sablevm -Y"
exec $SABLEVM BytecodeVerificationTest