1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>error-conjunction-reducer-test002.TRUE-1</id>
6
<description>error-conjunction-reducer-test002.TRUE-1</description>
13
<transition>t1</transition>
18
<transition>t18</transition>
22
<transition>t18</transition>
32
<id>error-conjunction-reducer-test002.FALSE-2</id>
33
<description>error-conjunction-reducer-test002.FALSE-2</description>
39
<transition>t4</transition>
45
<transition>t1</transition>
52
<transition>t5</transition>