#!/bin/bash
echo "----------launch of MONANO ----------------"
  ./launch_experiment_cas1.sh $1
#  cd cas1_results
#    ./suppress.sh $1
#  cd ..
cd cas1_csv_data
echo "----------extraction of timing informations ------"
./launch_extraction_data_cas1.sh $1
cd ..