scyther/spdl/onetrace.spdl

usertype String;

const Alice,Bob,Charlie: Agent;
const Hallo: String;

protocol onetrace(I)
{
	role I
	{
		var input: String;

		read_1(I,I, input);
		send_2(I,I, Hallo);
		read_3(I,I, input);
		claim_4(I, Secret, input);
	}
}

run onetrace.I(Alice);
run onetrace.I(Alice);
run onetrace.I(Alice);
run onetrace.I(Alice);

run onetrace.I(Alice);
run onetrace.I(Alice);
run onetrace.I(Alice);
run onetrace.I(Alice);

run onetrace.I(Alice);
run onetrace.I(Alice);