get.otml

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

<?xml version="1.0" encoding="UTF-8"?>
<testcase>
    <send>oaa_Solve(foo(_),[blocking(false)])</send>
    <fromFac>
        ev_solved(_1128,_1129,_1130,foo(_),[blocking(false)],Results)
        <superset var="Results" value="[foo(0),foo(set)]"/>
    </fromFac>
</testcase>