one_domain_three_switch_CR_lin_script

#!/bin/bash
# one domain three switch CR three layer - verification

ulimit -m 13000000 -v 13000000

spin -a one_domain_three_switch_data_test_top1.pml
gcc -DVECTORSZ=35000 -DCOLLAPSE -o pan_d1 pan.c
./pan_d1
spin -a one_domain_three_switch_data_test_top2.pml
gcc -DVECTORSZ=35000 -DCOLLAPSE -o pan_d2 pan.c
./pan_d2
spin -a controller_plane_assume_I_3_guarantee_I_2_one_domain_three_switch.pml
gcc -DVECTORSZ=35000 -DCOLLAPSE -o pan_c pan.c
./pan_c
spin -a manager_plane_one_domain_gurantee_I_3.pml
gcc -DVECTORSZ=35000 -DCOLLAPSE -o pan_d pan.c
./pan_d