parallel.otml

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

<testcase>
	<send>oaa_solve(dummy(),[])</send>

	<parallel timeout="1000">
		<fromFac>	
			ev_data_updated(_,add,a(a),_,_,_)
		</fromFac>
		<fromFac>	
			ev_data_updated(_,add,b(B),_,_,_)
			<le var="B" value="17.2"/>
		</fromFac>
		<fromFac>	
			ev_data_updated(_,add,c(c),_,_,_)
		</fromFac>
	</parallel>
</testcase>