#!/bin/sh

# Script parameters are coming from ../Makefile.
../Tools/SAtester $* ./RAW_EncDec_TD.fast_script

rm -f Temp.log
rm -f Temp.ttcn
