~tapaal-contributor/verifypn/unfoldTACPN

« back to all changes in this revision

Viewing changes to test_models/simple-test008/query.xml

• browse files at revision 230
• compare with another revision
• download diff
• download tarball
• view history from revision 230

Show diffs side-by-side

added

removed

test_models/simple-test008/query.xml

 

1

<?xml version="1.0" encoding="UTF-8" standalone="no"?>

 

2

<property-set xmlns="http://tapaal.net/">

 

3

  

 

4

  <property>

 

5

    <id>simple-test008.TRUE-1</id>

 

6

    <description>simple-test008.TRUE-1</description>

 

7

    <formula>

 

8

      <all-paths>

 

9

        <globally>

 

10

          <integer-le>

 

11

            <tokens-count>

 

12

              <place>Holder</place>

 

13

            </tokens-count>

 

14

            <integer-constant>4</integer-constant>

 

15

          </integer-le>

 

16

        </globally>

 

17

      </all-paths>

 

18

    </formula>

 

19

  </property>

 

20

</property-set>

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1