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