source: caseStudy_Huffmann/huffmann/huff_reset/safe.sh

#!/bin/bash

file=$1/protect_output.reg

output=$1/safe_rob1.ctl
value=0

while read line 
do
        value=`expr $value + 1`;

done <$file
echo $value

val=0
echo "!( " > $output
while read line 
do
        val=`expr $val + 1`;
        if [ $val -eq $value ] 
        then
                echo "(${line} = 1 ^ ${line}G = 0)" >> $output
        else
                echo "(${line} = 1 ^ ${line}G = 0) * "  >> $output
        fi

done <$file
echo ");"  >> $output