#!/bin/sh

./run -o:IgnoreTriggers=1,MaxInstRounds=30,MaxQuantIters=2000 -ax:tests/SelectStore.ax "$@"