#!/bin/bash

python $(dirname $0)/GPUVerify.py $@

