superrob1500
/
mirror-linux
mirror of https://github.com/torvalds/linux
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mirror-linux/tools/verification/models/rtapp/pagefault.ltl

2 lines
39 B
Plaintext
Raw Blame History

RULE = always (RT imply not PAGEFAULT)
Reference in New Issue View Git Blame Copy Permalink