gtlt.otml

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

<testcase>
	<send>ev_solve(g_1,some(value(X),foo),[blocking(false)])</send>
	<toFac timeout="1000">
		ev_solve(_,some(value(X),foo),_)
		<gt var="X" value="5"/>
		<lt var="X" value="7"/>
	</toFac>
</testcase>