1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>urgency-test013.FALSE-1</id>
6
<description>urgency-test013.FALSE-1</description>
14
<integer-constant>1</integer-constant>
21
<id>urgency-test013.TRUE-2</id>
22
<description>urgency-test013.TRUE-2</description>
32
<integer-constant>1</integer-constant>
40
<integer-constant>1</integer-constant>
46
<integer-constant>0</integer-constant>
50
<place>booking</place>
52
<integer-constant>0</integer-constant>
56
<place>payment</place>
58
<integer-constant>0</integer-constant>
62
<place>attempts</place>
64
<integer-constant>0</integer-constant>
73
<id>urgency-test013.TRUE-3</id>
74
<description>urgency-test013.TRUE-3</description>
81
<place>succesful</place>
83
<integer-constant>1</integer-constant>
87
<place>succesful</place>
89
<integer-constant>1</integer-constant>
97
<id>urgency-test013.FALSE-4</id>
98
<description>urgency-test013.FALSE-4</description>
105
<place>attempts</place>
107
<integer-constant>1</integer-constant>
113
<integer-constant>1</integer-constant>