You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 lines
193 B
10 lines
193 B
#!/bin/csh
|
|
|
|
foreach N (4 5)
|
|
foreach K (4 5 6 7 8)
|
|
echo "Generating for N=$N, K=$K"
|
|
prismpp .peer2peerN_K.sm.pp $N $K >! peer2peer"$N"_"$K".sm
|
|
unix2dos peer2peer"$N"_"$K".sm
|
|
end
|
|
end
|
|
|