pagefault.ltl « rtapp « models « verification « tools - lwn.git - Linux kernel documentation tree maintained by Jonathan Corbet

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)`