1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>error-conjunction-bug-test001.TRUE-1</id>
6
<description>error-conjunction-bug-test001.TRUE-1</description>
13
<transition>maU</transition>
19
<transition>mrF</transition>
23
<transition>msG</transition>
26
<transition>msG</transition>