Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.61 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">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">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">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">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>
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">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">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>
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">0</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">0</Value>        <Value name="r" step="0" type="input">0</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>
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">0</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">0</Value>        <Value name="r" step="0" type="input">0</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>
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">0</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>
7
<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">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">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">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">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">0</Value>        <Value name="r" step="0" type="input">1</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">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">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">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">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>
12
<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">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">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>
13
<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">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">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>
14
<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">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">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>