1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>arithmetic-test007.TRUE-1</id>
6
<description>arithmetic-test007.TRUE-1</description>
37
<integer-constant>-3</integer-constant>
44
<id>arithmetic-test007.FALSE-2</id>
45
<description>arithmetic-test007.FALSE-2</description>
78
<integer-constant>-3</integer-constant>
85
<id>arithmetic-test007.TRUE-3</id>
86
<description>arithmetic-test007.TRUE-3</description>
116
</integer-difference>
117
</integer-difference>
119
<integer-constant>7</integer-constant>
126
<id>arithmetic-test007.FALSE-4</id>
127
<description>arithmetic-test007.FALSE-4</description>
157
</integer-difference>
158
</integer-difference>
164
<integer-constant>6</integer-constant>
172
<id>arithmetic-test007.TRUE-5</id>
173
<description>arithmetic-test007.TRUE-5</description>
203
</integer-difference>
204
</integer-difference>
215
<integer-constant>2</integer-constant>
217
<integer-constant>1</integer-constant>
222
</integer-difference>