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