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