#!/bin/bash

for((i=1;i<42;i++))
do
mkdir "/home/kmf04/PBCov/crest-0.1.1/bin/tcas-v$i"
cp run "/home/kmf04/PBCov/crest-0.1.1/bin/tcas-v$i/run"
cp pbcov_assert.h "/home/kmf04/PBCov/crest-0.1.1/bin/tcas-v$i/pbcov_assert.h"
done