tst057.mal

一个内存数据库的源代码这是服务器端还有客户端

#leave tests

i:= 1;
barrier always:=true;
	io.print("enter always");
	leave always:= i == 1;
	io.print("didn't leave properly");
exit always;
	io.print("left always 1");
barrier always:=true;
	io.print("enter always 2");
	leave always:= i != 2;
	io.print("didn't leave properly");
exit always;
	io.print("left always 2");