Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / durationThm_1_e7_217_e7_31 / tests / durationThm_1_e7_217_e7_31.test_suite @ 43a2cae9

History | View | Annotate | Download (7.55 KB)

1
<testTrace>        <Value name="ik" step="0" type="input">0</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">0</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
2
<testTrace>        <Value name="ik" step="0" type="input">0</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">0</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">1</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">1</Value>        <Value name="r" step="1" type="input">1</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
3
<testTrace>        <Value name="ik" step="0" type="input">0</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">0</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">1</Value>        <Value name="q" step="1" type="input">1</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
4
    <testTrace>        <Value name="ik" step="0" type="input">0</Value>        <Value name="ik" step="1" type="input">-1</Value>        <Value name="im" step="0" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">0</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">1</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
5
<testTrace>        <Value name="ik" step="0" type="input">0</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
6
<testTrace>        <Value name="ik" step="0" type="input">0</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">1</Value>        <Value name="r" step="1" type="input">1</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
7
<testTrace>        <Value name="ik" step="0" type="input">1</Value>        <Value name="ik" step="1" type="input">2</Value>        <Value name="im" step="0" type="input">1</Value>        <Value name="im" step="1" type="input">2</Value>        <Value name="p" step="0" type="input">0</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">1</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
8
<testTrace>        <Value name="ik" step="0" type="input">2</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">0</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
9
<testTrace>        <Value name="ik" step="0" type="input">2</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">0</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">1</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
10
<testTrace>        <Value name="ik" step="0" type="input">-2</Value>        <Value name="ik" step="1" type="input">1</Value>        <Value name="im" step="0" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">1</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="OK" step="0" type="output">true</Value>        <Value name="OK" step="1" type="output">true</Value>    </testTrace>
11
<testTrace>        <Value name="ik" step="0" type="input">-2</Value>        <Value name="ik" step="1" type="input">-3</Value>        <Value name="im" step="0" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="p" step="0" type="input">0</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="q" step="0" type="input">0</Value>        <Value name="q" step="1" type="input">1</Value>        <Value name="r" step="0" type="input">0</Value>        <Value name="r" 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>