1#!/usr/local/bin/bash
2
3testhelper=../testScripts/testhelper
4testName="$1"
5shift
6
7if [ "$1" = "_full" ]; then
8  shift;
9fi
10
11params="$*"
12
13$testhelper latformat $testName.4ti2 $testName.fplll \
14  $params -iformat 4ti2 -oformat fplll
15if [ $? != 0 ]; then exit 1; fi
16
17$testhelper latformat $testName.fplll $testName.4ti2 \
18  $params -iformat fplll -oformat 4ti2
19if [ $? != 0 ]; then exit 1; fi
20