#!/bin/bash
if !(test $CPS_SIMULINK_DIR); then
   printf "Execute 'source clawz_env' before running analyse_simulink.\n";
   exit
fi

for file in $CPS_SIMULINK_DIR/*.mdl;
do
   analyse $file $CPS_ANALYSIS_DIR/clawz_extensions/zed505_plus_library.lmf
done
