data.otml

SRI international 发布的OAA框架软件

<!-- This test assumes there is not already a data solvable for foo(X) -->

<testcase>
	<send>
		oaa_AddData(foo(1093),[])
	</send>
	<send>
		oaa_AddData(foo(33),[])
	</send>

	<send>
		oaa_Solve(foo(X),[])
	</send>
	<fromFac>
		ev_solved(_,_,_,foo(_),_,Results)
		<contains var="Results" value="foo(1093)"/>
	</fromFac>

	<send>
		oaa_RemoveData(foo(1093),[])
	</send>

	<send>
		oaa_Solve(foo(X),[])
	</send>
	<fromFac>
		ev_solved(_,_,_,foo(_),_,[foo(33)])
	</fromFac>

	<send>
		oaa_RemoveData(foo(_),[])
	</send>

	<send>
		oaa_Solve(foo(X),[])
	</send>
	<fromFac timeout="1000">
		ev_solved(_,_,_,foo(_),_,[])
	</fromFac>

</testcase>