From 9747c8596a19acf2f496ee1dd1b8d7adb9c0b660 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 9 Aug 2018 13:42:51 -0700
Subject: [PATCH] instructions on replaying tests

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

diff --git a/README.md b/README.md
index 7ffaa43..dd545e2 100644
--- a/README.md
+++ b/README.md
@@ -85,6 +85,29 @@ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples/I
         └── f1d3ff8443297732862df21dc4e57262.pass
 ```
 
+To run these tests, you can just use the native executable, e.g.:
+
+```shell
+$DEEPSTATE/build/examples/IntegerOverflow --input_test_dir out
+```
+
+to run all the generated tests, or
+
+```shell
+$DEEPSTATE/build/examples/IntegerOverflow --input_test_files_dir out/IntegerOverflow.cpp/SignedInteger_AdditionOverflow --input_which_test SignedInteger_AdditionOverflow
+```
+
+to run the tests in one directory (in this case, you want to specify
+which test to run, also).  You can also run a single test, e.g.:
+
+```shell
+$DEEPSTATE/build/examples/IntegerOverflow --input_test_file out/IntegerOverflow.cpp/SignedInteger_AdditionOverflow/a512f8ffb2c1bb775a9779ec60b699cb.fail--input_which_test SignedInteger_AdditionOverflow
+```
+
+In the absence of an `--input_which_test` argument, DeepState defaults
+to the last-defined test.  Run the native executable with the `--help`
+argument to see all DeepState options.
+
 ## Usage
 
 DeepState consists of a static library, used to write test harnesses, and command-line _executors_ written in Python. At this time, the best documentation is in the [examples](/examples) and in our [paper](https://agroce.github.io/bar18.pdf).