Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / ex8 / tests / ex8.test_suite @ 53aa0cb0

History | View | Annotate | Download (4.13 KB)

1
<testTrace>        <Value name="beacon" step="0" type="input">0</Value>        <Value name="beacon" step="1" type="input">0</Value>        <Value name="beacon" step="2" type="input">0</Value>        <Value name="beacon" step="3" type="input">0</Value>        <Value name="beacon" step="4" type="input">0</Value>        <Value name="beacon" step="5" type="input">0</Value>        <Value name="second" step="0" type="input">1</Value>        <Value name="second" step="1" type="input">1</Value>        <Value name="second" step="2" type="input">1</Value>        <Value name="second" step="3" type="input">1</Value>        <Value name="second" step="4" type="input">1</Value>        <Value name="second" step="5" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>        <Value name="OK" step="2" type="output">false</Value>        <Value name="OK" step="3" type="output">false</Value>        <Value name="OK" step="4" type="output">false</Value>        <Value name="OK" step="5" type="output">true</Value>    </testTrace>
2
<testTrace>        <Value name="beacon" step="0" type="input">0</Value>        <Value name="beacon" step="1" type="input">0</Value>        <Value name="second" step="0" type="input">0</Value>        <Value name="second" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
3
<testTrace>        <Value name="beacon" step="0" type="input">0</Value>        <Value name="beacon" step="1" type="input">0</Value>        <Value name="second" step="0" type="input">0</Value>        <Value name="second" step="1" type="input">1</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
4
    <testTrace>        <Value name="beacon" step="0" type="input">0</Value>        <Value name="beacon" step="1" type="input">0</Value>        <Value name="second" step="0" type="input">0</Value>        <Value name="second" step="1" type="input">1</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
5
<testTrace>        <Value name="beacon" step="0" type="input">0</Value>        <Value name="beacon" step="1" type="input">0</Value>        <Value name="second" step="0" type="input">1</Value>        <Value name="second" step="1" type="input">1</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
6
<testTrace>        <Value name="beacon" step="0" type="input">0</Value>        <Value name="beacon" step="1" type="input">1</Value>        <Value name="second" step="0" type="input">1</Value>        <Value name="second" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
7
<testTrace>        <Value name="beacon" step="0" type="input">1</Value>        <Value name="beacon" step="1" type="input">0</Value>        <Value name="second" step="0" type="input">0</Value>        <Value name="second" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
8
<testTrace>        <Value name="beacon" step="0" type="input">1</Value>        <Value name="beacon" step="1" type="input">1</Value>        <Value name="second" step="0" type="input">0</Value>        <Value name="second" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>
9
<testTrace>        <Value name="beacon" step="0" type="input">1</Value>        <Value name="beacon" step="1" type="input">1</Value>        <Value name="second" step="0" type="input">1</Value>        <Value name="second" step="1" type="input">1</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">false</Value>    </testTrace>