From 14a767c05820e39eae9495558ce8eb1700fad393 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 5 Sep 2016 20:21:57 +0100
Subject: [PATCH] Added (optional) Scalatest dependency.

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 5692880..b61e829 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,7 @@
   * Scala IDE
   * Scala Maven Plugin (http://scala-ide.org/docs/tutorials/m2eclipse/)
   * m2e plugin 
+  * Scalatest Runner (optional)
 * CVC3 including the Java bindings for CVC3
 * apktool