lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / misc / stalmark_e8_64.xml @ 8aaf9f57
History | View | Annotate | Download (1.61 KB)
| 1 | 8aaf9f57 | bourbouh | <?xml version="1.0"?>
|
|---|---|---|---|
| 2 | <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> |
||
| 3 | <Property name="top"> |
||
| 4 | <Date>2016-11-19 19:12</Date> |
||
| 5 | <Lustre2Horn unit="sec">0.00</Lustre2Horn> |
||
| 6 | <Parse unit="sec">0.00</Parse> |
||
| 7 | <Query unit="sec">0.03</Query> |
||
| 8 | <Answer>CEX</Answer> |
||
| 9 | <Counterexample>
|
||
| 10 | <Node name ="top"> |
||
| 11 | <Stream name="a" type="bool"> |
||
| 12 | <Value instant="0">1</Value> |
||
| 13 | <Value instant="1">1</Value> |
||
| 14 | </Stream>
|
||
| 15 | <Stream name="c" type="bool"> |
||
| 16 | <Value instant="0">1</Value> |
||
| 17 | <Value instant="1">1</Value> |
||
| 18 | </Stream>
|
||
| 19 | <Stream name="b" type="bool"> |
||
| 20 | <Value instant="0">1</Value> |
||
| 21 | <Value instant="1">1</Value> |
||
| 22 | </Stream>
|
||
| 23 | <Stream name="OK" type="bool"> |
||
| 24 | <Value instant="0">1</Value> |
||
| 25 | <Value instant="1">1</Value> |
||
| 26 | </Stream>
|
||
| 27 | <Stream name="OK" type="bool"> |
||
| 28 | <Value instant="0">1</Value> |
||
| 29 | <Value instant="1">1</Value> |
||
| 30 | </Stream>
|
||
| 31 | <Stream name="x" type="bool"> |
||
| 32 | <Value instant="0">1</Value> |
||
| 33 | <Value instant="1">1</Value> |
||
| 34 | </Stream>
|
||
| 35 | <Stream name="x" type="bool"> |
||
| 36 | <Value instant="0">1</Value> |
||
| 37 | <Value instant="1">1</Value> |
||
| 38 | </Stream>
|
||
| 39 | <Stream name="x" type="bool"> |
||
| 40 | <Value instant="0">1</Value> |
||
| 41 | <Value instant="1">1</Value> |
||
| 42 | </Stream>
|
||
| 43 | </Node>
|
||
| 44 | |||
| 45 | </Counterexample>
|
||
| 46 | </Property>
|
||
| 47 | </Results>
|