tools/verification/models/rtapp/pagefault.ltl - linux - Git at Google

android-kvm/linux/fbd97dd1d3ce32d32fb7be86acc3fdb7c04fa043/./tools/verification/models/rtapp/pagefault.ltl

blob: d7ce62102733693efa54a3041b25362fef327e23 [file]

RULE = always (RT imply not PAGEFAULT)

Powered by Gitiles| Privacy| Termstxt json