From 760679caa82d6e99951d5cc70b65826350e1548f Mon Sep 17 00:00:00 2001
From: Sebastien Mondet <seb@mondet.org>
Date: Wed, 25 Jul 2018 16:20:39 -0400
Subject: [PATCH] Mention `vm_tester` in the documentation

---
 README.md            | 4 ++++
 doc/extra-testing.md | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 63ae802..e199317 100644
--- a/README.md
+++ b/README.md
@@ -92,6 +92,10 @@ Username matches: `smondet`
 - The file 
   [`src/examples/downloader.ml`](https://github.com/hammerlab/genspio/blob/master/src/examples/downloader.ml)
   contains a (much) bigger example.
+- The file 
+  [`src/examples/vm_tester.ml`](https://github.com/hammerlab/genspio/blob/master/src/examples/vm_tester.ml)
+  is a *“Makefile + scripts”* generator to setup Qemu virtual machines, they can
+  be for instance used to run the tests on more exotic platforms.
 - The project 
   [`hammerlab/secotrec`](https://github.com/hammerlab/secotrec) is a real-world,
   larger-scale use of Genspio (for now using version 0.0.0).
diff --git a/doc/extra-testing.md b/doc/extra-testing.md
index 315a717..3c0ad28 100644
--- a/doc/extra-testing.md
+++ b/doc/extra-testing.md
@@ -77,3 +77,5 @@ qemu_openwrt_depedencies () {
 ```
 
 You may just run the tests as above.
+
+Note that this setup is also handled by the `vm_tests` example.