#!/bin/bash

# This script generate
#   - test report
#   - rest coverage

# 1st argument: test procedure name
# 2nd argument: C filename without path
# 3rd argument: directory of reports

#echo $0
#echo $1
#echo $2
#echo $3

DIR_REPORT=$3

cat $1.cov.log > $DIR_REPORT/$1.cov
cat $1.cov.sum >> $DIR_REPORT/$1.cov
cat $1.log > $DIR_REPORT/$1.log

#eof