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