export ASAN_OPTIONS=abort_on_error=1,disable_coredump=0 #

SIMP_WORKDIR="storage"
mkdir $SIMP_WORKDIR

killall -9 perl ; killall -9 mysqld
SIMP_VARDIR="/dev/shm/vardir"
rm -rf $SIMP_VARDIR
mkdir $SIMP_VARDIR

PARALLEL=`nproc`

# Various settings for the server+InnoDB etc.
CONFIG=MDEV-15907.cc

# Path to MariaDB binaries
BASEDIR=/work_m/10.2/bld_asan
BASEDIR=/work_m/MariaDB/bld_asan


GRAMMAR=MDEV-15907_best.yy

set -o pipefail
perl ./rqg_batch.pl                                             \
--workdir=$SIMP_WORKDIR  --vardir=$SIMP_VARDIR                  \
--parallel=$PARALLEL                                            \
--basedir1=$BASEDIR                                             \
--config=$CONFIG                                                \
--stop_on_replay                                                \
--trials=$PARALLEL                                              \
--grammar=$GRAMMAR                                              \
--no-mask                                                       \
--discard_logs                                                  \
--clean                                                         \
--force                                                         \
2>&1 | tee MDEV-15907.prt
RC=$?
echo "perl ./new_combinations.pl ... exited with status $RC"
echo "Some exit status of 0 only means: ./rqg_batch.pl did not meet trouble."
echo "The verdict tells if the goal defined in $CONFIG was achieved."