Project

General

Profile

Download (2.7 KB) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/misc/durationThm_3_e7_334_e7_118.xml @ 8aaf9f57

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:13</Date>
5 
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 
      <Parse unit="sec">0.00</Parse>
7 
      <Query unit="sec">0.13</Query>
8 
      <Answer>CEX</Answer>
9 
      <Counterexample>
10 
         <Node name ="Sofar">
11 
            <Stream name="Sofar" 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 
            <Stream name="X" type="bool">
18 
                <Value instant="0">1</Value>
19 
           </Stream>
20 
         </Node>
21 
 <Node name ="Age">
22 
            <Stream name="p" type="bool">
23 
                <Value instant="0">1</Value>
24 
                <Value instant="1">1</Value>
25 
           </Stream>
26 
            <Stream name="p" type="bool">
27 
                <Value instant="0">1</Value>
28 
                <Value instant="1">1</Value>
29 
           </Stream>
30 
            <Stream name="p" type="bool">
31 
                <Value instant="0">1</Value>
32 
                <Value instant="1">1</Value>
33 
           </Stream>
34 
            <Stream name="age_of_p" type="int">
35 
                <Value instant="0">0</Value>
36 
                <Value instant="1">0</Value>
37 
           </Stream>
38 
         </Node>
39 
 <Node name ="top">
40 
            <Stream name="Sofar" type="bool">
41 
                <Value instant="0">1</Value>
42 
           </Stream>
43 
            <Stream name="age_of_p" type="int">
44 
                <Value instant="0">0</Value>
45 
           </Stream>
46 
            <Stream name="age_of_p" type="int">
47 
                <Value instant="0">0</Value>
48 
           </Stream>
49 
            <Stream name="age_of_p" type="int">
50 
                <Value instant="0">0</Value>
51 
           </Stream>
52 
            <Stream name="OK" type="bool">
53 
                <Value instant="0">1</Value>
54 
           </Stream>
55 
            <Stream name="k" type="int">
56 
                <Value instant="0">-2</Value>
57 
           </Stream>
58 
            <Stream name="m" type="int">
59 
                <Value instant="0">1</Value>
60 
           </Stream>
61 
            <Stream name="q" type="bool">
62 
                <Value instant="0">1</Value>
63 
           </Stream>
64 
            <Stream name="p" type="bool">
65 
                <Value instant="0">1</Value>
66 
           </Stream>
67 
            <Stream name="k0" type="int">
68 
                <Value instant="0">-2</Value>
69 
           </Stream>
70 
            <Stream name="m0" type="int">
71 
                <Value instant="0">1</Value>
72 
           </Stream>
73 
            <Stream name="m0" type="int">
74 
                <Value instant="0">1</Value>
75 
           </Stream>
76 
         </Node>
77 

      

      

        78
        
        
        
        
        
      </Counterexample>


      

      

        79
        
        
        
        
        
     </Property>


      

      

        80
        
        
        
        
        
   </Results>