~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to test_models/untimed-reductions-mads-test005/query.xml

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

Show diffs side-by-side

added

removed

test_models/untimed-reductions-mads-test005/query.xml

 

1

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

 

2

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

 

3

  

 

4

  <property>

 

5

    <id>untimed-reductions-mads-test005.TRUE-1</id>

 

6

    <description>untimed-reductions-mads-test005.TRUE-1</description>

 

7

    <formula>

 

8

      <exists-path>

 

9

        <finally>

 

10

          <deadlock/>

 

11

        </finally>

 

12

      </exists-path>

 

13

    </formula>

 

14

  </property>

 

15

  <property>

 

16

    <id>untimed-reductions-mads-test005.FALSE-2</id>

 

17

    <description>untimed-reductions-mads-test005.FALSE-2</description>

 

18

    <formula>

 

19

      <all-paths>

 

20

        <globally>

 

21

          <integer-le>

 

22

            <tokens-count>

 

23

              <place>P2</place>

 

24

            </tokens-count>

 

25

            <integer-constant>3</integer-constant>

 

26

          </integer-le>

 

27

        </globally>

 

28

      </all-paths>

 

29

    </formula>

 

30

  </property>

 

31

  <property>

 

32

    <id>untimed-reductions-mads-test005.TRUE-3</id>

 

33

    <description>untimed-reductions-mads-test005.TRUE-3</description>

 

34

    <formula>

 

35

      <exists-path>

 

36

        <finally>

 

37

          <conjunction>

 

38

            <true/>

 

39

            <integer-lt>

 

40

              <tokens-count>

 

41

                <place>P2</place>

 

42

              </tokens-count>

 

43

              <integer-constant>5</integer-constant>

 

44

            </integer-lt>

 

45

          </conjunction>

 

46

        </finally>

 

47

      </exists-path>

 

48

    </formula>

 

49

  </property>

 

50

</property-set>

• Older »

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