← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypnTestFramework

« back to all changes in this revision

Viewing changes to testFramework/completeModelDB/CircularTrains-PT-024/CTLFireabilitySimple.xml

  • Committer: tobiasj1991 at gmail
  • Date: 2016-04-28 10:42:22 UTC
  • Revision ID: tobiasj1991@gmail.com-20160428104222-6vcahq0z3xnzncje
Cleaning up

Show diffs side-by-side

added added

removed removed

Lines of Context:
testFramework/completeModelDB/CircularTrains-PT-024/CTLFireabilitySimple.xml
1
 
<?xml version="1.0"?>
2
 
<property-set xmlns="http://mcc.lip6.fr/">
3
 
  <property>
4
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-0</id>
5
 
    <description>Automatically generated</description>
6
 
    <formula>
7
 
      <all-paths>
8
 
        <finally>
9
 
          <is-fireable>
10
 
            <transition>t7_to_8</transition>
11
 
          </is-fireable>
12
 
        </finally>
13
 
      </all-paths>
14
 
    </formula>
15
 
  </property>
16
 
  <property>
17
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-1</id>
18
 
    <description>Automatically generated</description>
19
 
    <formula>
20
 
      <all-paths>
21
 
        <finally>
22
 
          <is-fireable>
23
 
            <transition>t23_to_24</transition>
24
 
          </is-fireable>
25
 
        </finally>
26
 
      </all-paths>
27
 
    </formula>
28
 
  </property>
29
 
  <property>
30
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-2</id>
31
 
    <description>Automatically generated</description>
32
 
    <formula>
33
 
      <exists-path>
34
 
        <globally>
35
 
          <is-fireable>
36
 
            <transition>t21_to_22</transition>
37
 
          </is-fireable>
38
 
        </globally>
39
 
      </exists-path>
40
 
    </formula>
41
 
  </property>
42
 
  <property>
43
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-3</id>
44
 
    <description>Automatically generated</description>
45
 
    <formula>
46
 
      <all-paths>
47
 
        <finally>
48
 
          <is-fireable>
49
 
            <transition>t4_to_5</transition>
50
 
          </is-fireable>
51
 
        </finally>
52
 
      </all-paths>
53
 
    </formula>
54
 
  </property>
55
 
  <property>
56
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-4</id>
57
 
    <description>Automatically generated</description>
58
 
    <formula>
59
 
      <exists-path>
60
 
        <globally>
61
 
          <is-fireable>
62
 
            <transition>t3_to_4</transition>
63
 
          </is-fireable>
64
 
        </globally>
65
 
      </exists-path>
66
 
    </formula>
67
 
  </property>
68
 
  <property>
69
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-5</id>
70
 
    <description>Automatically generated</description>
71
 
    <formula>
72
 
      <exists-path>
73
 
        <globally>
74
 
          <is-fireable>
75
 
            <transition>t6_to_7</transition>
76
 
          </is-fireable>
77
 
        </globally>
78
 
      </exists-path>
79
 
    </formula>
80
 
  </property>
81
 
  <property>
82
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-6</id>
83
 
    <description>Automatically generated</description>
84
 
    <formula>
85
 
      <all-paths>
86
 
        <finally>
87
 
          <is-fireable>
88
 
            <transition>t23_to_24</transition>
89
 
          </is-fireable>
90
 
        </finally>
91
 
      </all-paths>
92
 
    </formula>
93
 
  </property>
94
 
  <property>
95
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-7</id>
96
 
    <description>Automatically generated</description>
97
 
    <formula>
98
 
      <all-paths>
99
 
        <finally>
100
 
          <is-fireable>
101
 
            <transition>t22_to_23</transition>
102
 
          </is-fireable>
103
 
        </finally>
104
 
      </all-paths>
105
 
    </formula>
106
 
  </property>
107
 
  <property>
108
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-8</id>
109
 
    <description>Automatically generated</description>
110
 
    <formula>
111
 
      <all-paths>
112
 
        <finally>
113
 
          <is-fireable>
114
 
            <transition>t13_to_14</transition>
115
 
          </is-fireable>
116
 
        </finally>
117
 
      </all-paths>
118
 
    </formula>
119
 
  </property>
120
 
  <property>
121
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-9</id>
122
 
    <description>Automatically generated</description>
123
 
    <formula>
124
 
      <all-paths>
125
 
        <finally>
126
 
          <is-fireable>
127
 
            <transition>t5_to_6</transition>
128
 
          </is-fireable>
129
 
        </finally>
130
 
      </all-paths>
131
 
    </formula>
132
 
  </property>
133
 
  <property>
134
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-10</id>
135
 
    <description>Automatically generated</description>
136
 
    <formula>
137
 
      <exists-path>
138
 
        <until>
139
 
          <before>
140
 
            <is-fireable>
141
 
              <transition>t12_to_13</transition>
142
 
            </is-fireable>
143
 
          </before>
144
 
          <reach>
145
 
            <is-fireable>
146
 
              <transition>t14_to_15</transition>
147
 
            </is-fireable>
148
 
          </reach>
149
 
        </until>
150
 
      </exists-path>
151
 
    </formula>
152
 
  </property>
153
 
  <property>
154
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-11</id>
155
 
    <description>Automatically generated</description>
156
 
    <formula>
157
 
      <all-paths>
158
 
        <finally>
159
 
          <is-fireable>
160
 
            <transition>t22_to_23</transition>
161
 
          </is-fireable>
162
 
        </finally>
163
 
      </all-paths>
164
 
    </formula>
165
 
  </property>
166
 
  <property>
167
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-12</id>
168
 
    <description>Automatically generated</description>
169
 
    <formula>
170
 
      <all-paths>
171
 
        <finally>
172
 
          <is-fireable>
173
 
            <transition>t7_to_8</transition>
174
 
          </is-fireable>
175
 
        </finally>
176
 
      </all-paths>
177
 
    </formula>
178
 
  </property>
179
 
  <property>
180
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-13</id>
181
 
    <description>Automatically generated</description>
182
 
    <formula>
183
 
      <exists-path>
184
 
        <globally>
185
 
          <is-fireable>
186
 
            <transition>t6_to_7</transition>
187
 
          </is-fireable>
188
 
        </globally>
189
 
      </exists-path>
190
 
    </formula>
191
 
  </property>
192
 
  <property>
193
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-14</id>
194
 
    <description>Automatically generated</description>
195
 
    <formula>
196
 
      <exists-path>
197
 
        <globally>
198
 
          <is-fireable>
199
 
            <transition>t3_to_4</transition>
200
 
          </is-fireable>
201
 
        </globally>
202
 
      </exists-path>
203
 
    </formula>
204
 
  </property>
205
 
  <property>
206
 
    <id>CircularTrains-PT-024-CTLFireabilitySimple-15</id>
207
 
    <description>Automatically generated</description>
208
 
    <formula>
209
 
      <exists-path>
210
 
        <globally>
211
 
          <is-fireable>
212
 
            <transition>t6_to_7</transition>
213
 
          </is-fireable>
214
 
        </globally>
215
 
      </exists-path>
216
 
    </formula>
217
 
  </property>
218
 
</property-set>