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>
|