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