teardown.otml

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

<?xml version="1.0" encoding="UTF-8"?>
<testcase>
    <send>oaa_RemoveData(foo(_),[do_all(true)])</send>
    <fromFac>ev_data_updated(_,remove,foo(_),_,_,_)</fromFac>
    <send>oaa_Solve(foo(_),[blocking(false)])</send>
    <fromFac>ev_solved(_1128,_1129,_1130,foo(_),[blocking(false)],[])</fromFac>
</testcase>