~tapaal-contributor/verifypn/unfoldTACPN

« back to all changes in this revision

Viewing changes to test_models/urgency-test002/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/urgency-test002/query.xml

 

1

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

 

2

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

 

3

  

 

4

  <property>

 

5

    <id>urgency-test002.TRUE-1</id>

 

6

    <description>urgency-test002.TRUE-1</description>

 

7

    <formula>

 

8

      <exists-path>

 

9

        <finally>

 

10

          <integer-eq>

 

11

            <tokens-count>

 

12

              <place>P8</place>

 

13

            </tokens-count>

 

14

            <integer-constant>1</integer-constant>

 

15

          </integer-eq>

 

16

        </finally>

 

17

      </exists-path>

 

18

    </formula>

 

19

  </property>

 

20

  <property>

 

21

    <id>urgency-test002.FALSE-2</id>

 

22

    <description>urgency-test002.FALSE-2</description>

 

23

    <formula>

 

24

      <exists-path>

 

25

        <finally>

 

26

          <conjunction>

 

27

            <integer-eq>

 

28

              <tokens-count>

 

29

                <place>P7</place>

 

30

              </tokens-count>

 

31

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

 

32

            </integer-eq>

 

33

            <integer-eq>

 

34

              <tokens-count>

 

35

                <place>P8</place>

 

36

              </tokens-count>

 

37

              <integer-constant>1</integer-constant>

 

38

            </integer-eq>

 

39

          </conjunction>

 

40

        </finally>

 

41

      </exists-path>

 

42

    </formula>

 

43

  </property>

 

44

  <property>

 

45

    <id>urgency-test002.TRUE-3</id>

 

46

    <description>urgency-test002.TRUE-3</description>

 

47

    <formula>

 

48

      <all-paths>

 

49

        <finally>

 

50

          <integer-eq>

 

51

            <tokens-count>

 

52

              <place>P8</place>

 

53

            </tokens-count>

 

54

            <integer-constant>1</integer-constant>

 

55

          </integer-eq>

 

56

        </finally>

 

57

      </all-paths>

 

58

    </formula>

 

59

  </property>

 

60

  <property>

 

61

    <id>urgency-test002.FALSE-4</id>

 

62

    <description>urgency-test002.FALSE-4</description>

 

63

    <formula>

 

64

      <exists-path>

 

65

        <globally>

 

66

          <integer-ge>

 

67

            <tokens-count>

 

68

              <place>P7</place>

 

69

            </tokens-count>

 

70

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

 

71

          </integer-ge>

 

72

        </globally>

 

73

      </exists-path>

 

74

    </formula>

 

75

  </property>

 

76

</property-set>

• Older »

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