#!/bin/bash
i=0
for a in false true; do
for b in false true; do
for c in false true; do
for d in false true; do
for e in false true; do
for f in false true; do
for g in false true; do
(
	cat beginning.m
        echo "  IntruderHasCourtReporters:   $a;"
        echo "  InitiatorForgetsVoiceBetweenSessions:   $b;"
        echo "  ResponderForgetsVoiceBetweenSessions:   $c;"
        echo "  IntruderCanForgeInitiatorVoice:   $d;"
        echo "  IntruderCanForgeResponderVoice:   $e;"
        echo "  InitiatorUnawareOfRespondersVoiceInAdvance:   $f;"
        echo "  ResponderUnawareOfInitiatorsVoiceInAdvance:   $g;"
        cat ending.m
) > zrtp.m
make >/dev/null;
./zrtp -ndl -tv > "run$i.txt"
if cat "run$i.txt" | grep -q "No error found."
then
  echo "$i:0"
else
  echo "$i:1"
fi
i=$(($i+1))
done
done
done
done
done
done
done