Autoformat docs.
Change-Id: Ibc270de8cd6d8535e20847098175d8a00c67abe9
diff --git a/docs/Testing.md b/docs/Testing.md
index 1b66e83..b4946c9 100644
--- a/docs/Testing.md
+++ b/docs/Testing.md
@@ -5,16 +5,16 @@
## Presubmit
-Presubmit builds everything, runs all tests and checks the source for
-formatting and lint errors. This can be run locally with:
+Presubmit builds everything, runs all tests and checks the source for formatting
+and lint errors. This can be run locally with:
-``` shell
+```shell
./kokoro/ubuntu/build.sh
```
Or to just run the tests after having built everything manually run:
-``` shell
+```shell
./kokoro/ubuntu/test.sh
```
@@ -28,10 +28,10 @@
Having a framework for tests makes them easier to read and write. `hftest` is a
framework to meet the needs of VM based tests for Hafnium. It consists of:
- * assertions
- * test declarations
- * base VM image
- * driver script
+* assertions
+* test declarations
+* base VM image
+* driver script
Assertions should be familiar from other testing libraries. They make use of
C11's `_Generic` expressions for type genericity.