Ensure @GuardedBy errors are flagged

Make the relevant Error Prone checks errors rather than warnings, so
if they detect any inconsistency in our locking, we find out about it.

Bug: 258396046
Test: Introduce bug, see error
Change-Id: I2edffb24ad7bc9ea55975bd17b66f1e8233af3d2
1 file changed
tree: 5c00e88bcc38c3a0700314ecfb0652fc0e0fb30a
  1. apex/
  2. apkdmverity/
  3. authfs/
  4. avmd/
  5. compos/
  6. demo/
  7. docs/
  8. javalib/
  9. launcher/
  10. libs/
  11. microdroid/
  12. microdroid_manager/
  13. pvmfw/
  14. rialto/
  15. tests/
  16. virtualizationservice/
  17. vm/
  18. vmbase/
  19. vmclient/
  20. zipfuse/
  21. .clang-format
  22. .gitignore
  23. Android.bp
  24. OWNERS
  25. PREUPLOAD.cfg
  26. README.md
  27. TEST_MAPPING
README.md

Virtualization

This repository contains userspace services related to running virtual machines on Android, especially protected virtual machines. See the getting started documentation and Microdroid README for more information.