pagefault.ltl « rtapp « models « verification « tools - linux-next.git - Linux kernel latest source

summary refs log tree commit diff

path: root/tools/verification/models/rtapp/pagefault.ltl

blob: d7ce62102733693efa54a3041b25362fef327e23 (plain) (blame)

1	`RULE = always (RT imply not PAGEFAULT)`