lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / misc / stalmark_e8_64.xml @ 8aaf9f57
History | View | Annotate | Download (1.61 KB)
| 1 |
<?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>
|
| 48 |
|