source: caseStudy_Huffmann/huffmann/huff_original/robScript.sh

#!/bin/bash
# Path to the tools
tool=/dsk/l1/misc/verif_tools/vis_dev/bin/vis

#liste de fichier to analyse
liste_fichier="huff"

# time limit
ulimit -t 300

# output file

result=resultat_huff_orig
echo " " > $result
echo $liste_fichier
for fichier in $liste_fichier
do
                echo "Fichier trouvé : $fichier"
                
                echo "*******************************" >> $result
                echo ${fichier}.mv >> $result
                echo "*******************************" >> $result
                echo read_blif_mv ${fichier}.mv > vis_rob_script1
                echo "init_verify" >> vis_rob_script1
                echo "dynamic_var_ordering -e sift" >> vis_rob_script1
                echo "protect_outputs" >> vis_rob_script1
                #ROB4
            rob="ROB4"
                        cat vis_rob_script1 > vis_rob_usut
                        echo "echo ${rob} ${fichier}" >> vis_rob_usut
                        echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut
            echo "protect_outputs"
                        echo "set_init -v 1 -m usut -g  protect_output.reg" >> vis_rob_usut
                        echo "robustness -v 1" >> vis_rob_usut
                        echo "quit -s" >> vis_rob_usut
                        $tool < vis_rob_usut >> $result
                        cat vis_rob_script1 > vis_rob_usmt
                        echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt
                        echo "set_init -v 1 -m usmt -g  protect_output.reg" >> vis_rob_usmt
                        echo "robustness -v 1" >> vis_rob_usmt
                        echo "quit -s" >> vis_rob_usmt
                        $tool < vis_rob_usmt >> $result
                        cat vis_rob_script1 > vis_rob_msut
                        echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut
                        echo "set_init -v 1  -m msut -g  protect_output.reg" >> vis_rob_msut
                        echo "robustness -v 1" >> vis_rob_msut
                        echo "quit -s" >> vis_rob_msut
                        $tool < vis_rob_msut >> $result
                        cat vis_rob_script1 > vis_rob_msmt
                        echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt
                        echo "set_init -v 1 -m msmt -g  protect_output.reg" >>  vis_rob_msmt
                        echo "robustness -v 1" >> vis_rob_msmt
                        echo "quit -s" >> vis_rob_msmt
                        $tool < vis_rob_msmt >> $result
                
                #ROB3
            rob="ROB3"
                        echo "compose_golden" >> vis_rob_script1
                        echo "init_verify" >> vis_rob_script1
                    echo "dynamic_var_ordering -e sift" >> vis_rob_script1
                        echo "protect_golden" >> vis_rob_script1
                        cat vis_rob_script1 > vis_rob_usut
                        echo "echo ${rob} ${fichier}" >> vis_rob_usut
                        echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut
                        echo "set_init -v 1 -m usut -g  protect_golden.reg" >> vis_rob_usut
                        echo "robustness -v 1" >> vis_rob_usut
                        echo "quit -s" >> vis_rob_usut
                        $tool < vis_rob_usut >> $result
                #       cat vis_rob_script1 > vis_rob_usmt
                #       echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt
                #       echo "set_init -v 1 -m usmt -g  protect_golden.reg" >> vis_rob_usmt
                #       echo "robustness -v 1" >> vis_rob_usmt
                #       echo "quit -s" >> vis_rob_usmt
                #       $tool < vis_rob_usmt >> $result
                        cat vis_rob_script1 > vis_rob_msut
                        echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut
                        echo "set_init -v 1  -m msut -g  protect_golden.reg" >> vis_rob_msut
                        echo "robustness -v 1" >> vis_rob_msut
                        echo "quit -s" >> vis_rob_msut
                        $tool < vis_rob_msut >> $result
                        cat vis_rob_script1 > vis_rob_msmt
                        echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt
                        echo "set_init -v 1 -m msmt -g  protect_golden.reg" >>  vis_rob_msmt
                        echo "robustness -v 1" >> vis_rob_msmt
                        echo "quit -s" >> vis_rob_msmt
                        $tool < vis_rob_msmt >> $result


                        #ROB 1 
            rob="ROB1"
                        echo "set_safe safe_rob1.ctl" >> vis_rob_script1
                        cat vis_rob_script1 > vis_rob_usut
                        echo "echo ${rob} ${fichier}" >> vis_rob_usut
                        echo "echo Class USUT ${rob} ${fichier}" >> vis_rob_usut
                        echo "set_init -v 1 -m usut -g  protect_golden.reg" >> vis_rob_usut
                        echo "robustness -v 1 -r 1" >> vis_rob_usut
                        echo "quit -s" >> vis_rob_usut
                    $tool < vis_rob_usut >> $result
                        #cat vis_rob_script1 > vis_rob_usmt
                        #echo "echo Class USMT ${rob} ${fichier}" >> vis_rob_usmt
                        #echo "set_init -v 1 -m usmt -g  protect_golden.reg" >> vis_rob_usmt
                        #echo "robustness -v 1 -r 1" >> vis_rob_usmt
                        #echo "quit -s" >> vis_rob_usmt
                        #$tool < vis_rob_usmt >> $result
                        cat vis_rob_script1 > vis_rob_msut
                        echo "echo Class MSUT ${rob} ${fichier}" >> vis_rob_msut
                        echo "set_init -v 1  -m msut -g  protect_golden.reg" >> vis_rob_msut
                        echo "robustness -v 1 -r 1" >> vis_rob_msut
                        echo "quit -s" >> vis_rob_msut
                        $tool < vis_rob_msut >> $result
                        cat vis_rob_script1 > vis_rob_msmt
                        echo "echo Class MSMT ${rob} ${fichier}" >> vis_rob_msmt
                        echo "set_init -v 1 -m msmt -g  protect_golden.reg" >>  vis_rob_msmt
                        echo "robustness -v 1 -r 1" >> vis_rob_msmt
                        echo "quit -s" >> vis_rob_msmt
                        $tool < vis_rob_msmt >> $result


done