2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>RwMutex-PT-r0010w0050-CTLCardinality-0</id>
5
<description>Automatically generated</description>
13
<integer-constant>2</integer-constant>
27
<integer-constant>2</integer-constant>
33
<integer-constant>1</integer-constant>
46
<id>RwMutex-PT-r0010w0050-CTLCardinality-1</id>
47
<description>Automatically generated</description>
68
<id>RwMutex-PT-r0010w0050-CTLCardinality-2</id>
69
<description>Automatically generated</description>
77
<integer-constant>2</integer-constant>
87
<integer-constant>3</integer-constant>
96
<id>RwMutex-PT-r0010w0050-CTLCardinality-3</id>
97
<description>Automatically generated</description>
104
<integer-constant>2</integer-constant>
116
<id>RwMutex-PT-r0010w0050-CTLCardinality-4</id>
117
<description>Automatically generated</description>
125
<integer-constant>1</integer-constant>
137
<integer-constant>2</integer-constant>
150
<id>RwMutex-PT-r0010w0050-CTLCardinality-5</id>
151
<description>Automatically generated</description>
159
<integer-constant>2</integer-constant>
180
<id>RwMutex-PT-r0010w0050-CTLCardinality-6</id>
181
<description>Automatically generated</description>
221
<integer-constant>2</integer-constant>
229
<integer-constant>2</integer-constant>
235
<integer-constant>3</integer-constant>
248
<id>RwMutex-PT-r0010w0050-CTLCardinality-7</id>
249
<description>Automatically generated</description>
255
<integer-constant>3</integer-constant>
278
<id>RwMutex-PT-r0010w0050-CTLCardinality-8</id>
279
<description>Automatically generated</description>
302
<id>RwMutex-PT-r0010w0050-CTLCardinality-9</id>
303
<description>Automatically generated</description>
311
<integer-constant>3</integer-constant>
324
<id>RwMutex-PT-r0010w0050-CTLCardinality-10</id>
325
<description>Automatically generated</description>
333
<integer-constant>3</integer-constant>
339
<integer-constant>2</integer-constant>
352
<id>RwMutex-PT-r0010w0050-CTLCardinality-11</id>
353
<description>Automatically generated</description>
371
<integer-constant>2</integer-constant>
384
<id>RwMutex-PT-r0010w0050-CTLCardinality-12</id>
385
<description>Automatically generated</description>
433
<integer-constant>1</integer-constant>
446
<id>RwMutex-PT-r0010w0050-CTLCardinality-13</id>
447
<description>Automatically generated</description>
473
<integer-constant>1</integer-constant>
479
<integer-constant>1</integer-constant>
506
<id>RwMutex-PT-r0010w0050-CTLCardinality-14</id>
507
<description>Automatically generated</description>
515
<integer-constant>1</integer-constant>
537
<integer-constant>3</integer-constant>
550
<id>RwMutex-PT-r0010w0050-CTLCardinality-15</id>
551
<description>Automatically generated</description>
559
<integer-constant>3</integer-constant>
567
<integer-constant>2</integer-constant>
585
<integer-constant>3</integer-constant>
593
<integer-constant>3</integer-constant>
615
<integer-constant>3</integer-constant>