#!/bin/sh

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

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