#!/bin/bash
echo "====================>>Launch of all static constraints of each anomalies in Architecture 2 with MONANO <<=============="
./copy_monano.sh
source /opt/rtems.bash
    ./start.sh  |grep measure |sed -e '1,2d' -e 's/measure pthread_monano_verify_static_constraints_//g' -e 's/:/,/g' > ../Results/archi2_result.txt
make clean
./remove_monano.sh