tree 52e5b5ef6cf4ae9177df66a16d3c30073f556472
parent e7d8bbfa740ece11f65a6dc71acf48cbd2848042
author Michael Jurka <mikejurka@google.com> 1495495780 -0700
committer Michael Jurka <mikejurka@google.com> 1495496370 -0700

Skip tests that fail on Magma

Fix some formatting issues as well.

Change-Id: If790b6afb2dd741ffcd8f80b7e302092d14e07b4