← Back to branch summary

~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to test_models/reduction-019-deadlock/query.xml

  • Committer: Peter G. Jensen
  • Date: 2020-07-03 09:19:50 UTC
  • mto: This revision was merged to the branch mainline in revision 225.
  • Revision ID: root@petergjoel.dk-20200703091950-0wdbe4bezt4obe0t
added simple test-script and test models

Show diffs side-by-side

added added

removed removed

Lines of Context:
test_models/reduction-019-deadlock/query.xml
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<property-set xmlns="http://tapaal.net/">
 
3
  
 
4
  <property>
 
5
    <id>reduction-019-deadlock.TRUE-1</id>
 
6
    <description>reduction-019-deadlock.TRUE-1</description>
 
7
    <formula>
 
8
      <exists-path>
 
9
        <finally>
 
10
          <deadlock/>
 
11
        </finally>
 
12
      </exists-path>
 
13
    </formula>
 
14
  </property>
 
15
</property-set>