xref: /linux/tools/verification/models/rtapp/pagefault.ltl (revision 25e3ae0ce364fa725a6eea68d63d6a2ee09e019f)
1RULE = always (RT imply not PAGEFAULT)
2