fac.otml

来自「SRI international 发布的OAA框架软件」· OTML 代码 · 共 9 行

<testcase>
	<send>
		oaa_Solve(agent_host(A,B,C),[])
	</send>
	<fromFac>
		ev_solved(_,_,_,agent_host(_,_,_),_,_)
	</fromFac>
</testcase>