#!/bin/sh

j=0

while expr $j \< 10 > /dev/null ; do
	i=0
	while expr $i \< 10 > /dev/null ; do
		./char_cov 500 $j.$i >> stats_cov.dat
		echo $j.$i
		i=`expr $i + 1`
	done
	j=`expr $j + 1`
done