Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / durationThm_1_e3_389 / tests / durationThm_1_e3_389.test_suite_new @ 43a2cae9

History | View | Annotate | Download (12.2 KB)

1
<testTrace>        <Value name="ik" step="1" type="input">0</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">0</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">0</Value>        <Value name="V14_k" step="2" type="local">0</Value>        <Value name="V15_m" step="1" type="local">0</Value>        <Value name="V15_m" step="2" type="local">0</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
2
<testTrace>        <Value name="ik" step="1" type="input">-1</Value>        <Value name="ik" step="2" type="input">1</Value>        <Value name="im" step="1" type="input">0</Value>        <Value name="im" step="2" type="input">2</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">-1</Value>        <Value name="V14_k" step="2" type="local">-1</Value>        <Value name="V15_m" step="1" type="local">0</Value>        <Value name="V15_m" step="2" type="local">0</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
3
<testTrace>        <Value name="ik" step="1" type="input">-1</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">-1</Value>        <Value name="V14_k" step="2" type="local">-1</Value>        <Value name="V15_m" step="1" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
4
<testTrace>        <Value name="ik" step="1" type="input">-2</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">-2</Value>        <Value name="V14_k" step="2" type="local">-2</Value>        <Value name="V15_m" step="1" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
5
    <testTrace>        <Value name="ik" step="1" type="input">-2</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">-2</Value>        <Value name="V14_k" step="2" type="local">-2</Value>        <Value name="V15_m" step="1" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
6
<testTrace>        <Value name="ik" step="2" type="input">1</Value>        <Value name="ik" step="3" type="input">4</Value>        <Value name="ik" step="4" type="input">2</Value>        <Value name="im" step="2" type="input">-1</Value>        <Value name="im" step="3" type="input">5</Value>        <Value name="im" step="4" type="input">3</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="OK" step="3" type="output">1</Value>        <Value name="OK" step="4" type="output">1</Value>        <Value name="V14_k" step="2" type="local">1</Value>        <Value name="V14_k" step="3" type="local">1</Value>        <Value name="V14_k" step="4" type="local">1</Value>        <Value name="V15_m" step="2" type="local">-1</Value>        <Value name="V15_m" step="3" type="local">-1</Value>        <Value name="V15_m" step="4" type="local">-1</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">0</Value>    </testTrace>
7
<testTrace>        <Value name="ik" step="2" type="input">2</Value>        <Value name="ik" step="3" type="input">7</Value>        <Value name="ik" step="4" type="input">5</Value>        <Value name="im" step="2" type="input">2</Value>        <Value name="im" step="3" type="input">8</Value>        <Value name="im" step="4" type="input">6</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="OK" step="3" type="output">1</Value>        <Value name="OK" step="4" type="output">1</Value>        <Value name="V14_k" step="2" type="local">2</Value>        <Value name="V14_k" step="3" type="local">2</Value>        <Value name="V14_k" step="4" type="local">2</Value>        <Value name="V15_m" step="2" type="local">2</Value>        <Value name="V15_m" step="3" type="local">2</Value>        <Value name="V15_m" step="4" type="local">2</Value>        <Value name="V16_env" step="2" type="local">1</Value>        <Value name="V16_env" step="3" type="local">1</Value>        <Value name="V16_env" step="4" type="local">1</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">0</Value>        <Value name="V55_X" step="2" type="local">1</Value>        <Value name="V55_X" step="3" type="local">1</Value>        <Value name="V55_X" step="4" type="local">1</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">0</Value>    </testTrace>