experimentAMBAs.sh

#!/bin/bash

for case_study in Examples/amba08* 
do
    case_name=$(basename -- $case_study)
    case_name="${case_name%.*}"
    pwd
    python Refinement/refinement_fifo_search.py $case_name
done