From 2281967176e513824d6d4b689a309fd6e3375088 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 26 May 2016 00:11:32 +0200
Subject: [PATCH] Added info about running the tests to the readme file.

---
 README.md | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 292396d..4ff7c5f 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ To translate an SAS file into ASP facts, call:
 $ plasp file.sas
 ```
 
-For instance, a PDDL instance can be solved as follows.
+For example, a PDDL instance can be solved as follows.
 First, use [Fast Downward](http://www.fast-downward.org/) to translate the files from PDDL to SAS:
 
 ```bash
@@ -47,6 +47,22 @@ $ make
 
 The built `plasp` binary is then located at `plasp/build/release/bin/plasp`.
 
+### Running the Tests
+
+`plasp` provides unit tests written using the [Google Test](https://github.com/google/googletest) framework.
+Before building and running the tests, make sure you have fetched the Google Test git submodule:
+
+```bash
+$ git submodule init
+$ git submodule update
+```
+
+Afterward, build and run the tests as follows:
+
+```bash
+$ make run-tests
+```
+
 ## Contributors
 
 * [Patrick Lühne](https://www.luehne.de) (`plasp` 3)