#! /bin/sh TEST_NAME=$1 TEST_VALIDITY=$2 TEST_TYPE1=$3 TEST_TYPE2=$4 TEST_EXTRA_OP=$5 TEST_POST_OP=$5 TEST_FILE=`echo ${TEST_VALIDITY}_${TEST_NAME} | sed -e 's/ /_/g' -e 's/\./_/g' -e 's/&/mp/g' -e 's/\[/_/g' -e 's/\]/_/g'`_generated.il echo $TEST_FILE sed -e "s/TYPE1/${TEST_TYPE1}/g" -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE2/${TEST_TYPE2}/g" -e "s/EXTRA_OP/${TEST_EXTRA_OP}/g" -e "s/POST_OP/${TEST_POST_OP}/g" > $TEST_FILE <