1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <property-set xmlns="http://tapaal.net/"> <property> <id>productline-test002.FALSE-1</id> <description>productline-test002.FALSE-1</description> <formula> <exists-path> <finally> <integer-ge> <tokens-count> <place>End</place> </tokens-count> <integer-constant>8</integer-constant> </integer-ge> </finally> </exists-path> </formula> </property> </property-set> |