#!/bin/bash
#set -x
cd ${10}$4

if [ $7 != - ]; then
    # TODO: configurations
    echo "Cannot elaborate configuration" > ${10}$2$1.so
    exit 1
else
    timeout 5s nvc --work $3 --std=1993 -e $5 &> ${10}$2$1.so
    timeout 5s nvc --work $3 --std=1993 -r $5 --stop-time=$9$8 &>> ${10}$2$1.so
fi
