cd $1 fi=$(find failed-injection -name "carol_fi_inj_bench_output*"| wc -l) crash=$(find masked -name "carol_fi_inj_bench_output*"| wc -l) hangs=$(find hangs -name "carol_fi_inj_bench_output*"| wc -l) noexcep=$(find sdcs -name "carol_fi_inj_bench_output*"| wc -l) cd sdcs masked=$(grep -R PASS| grep carol| wc -l) sdcs=$(grep -R FAIL| grep carol| wc -l) crash_nodoc=$[ $noexcep - $masked - $sdcs] crash=$[ $crash + $crash_nodoc ] echo $1";"$fi";"$crash";"$crash_nodoc";"$hangs";"$noexcep";"$masked";"$sdcs
