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