From 43508153949274508ab191810092e869cad1e6df Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Fri, 13 Jul 2018 13:23:37 -0700 Subject: [PATCH] Note angr is preferred for now. --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 3f4c632..341fc20 100644 --- a/README.md +++ b/README.md @@ -87,7 +87,9 @@ $ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples ## 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 are the [examples](/examples) and our [paper](https://agroce.github.io/bar18.pdf). +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). + +DeepState is currently more stable (and faster) when using angr as a backend than when using manticore. ## Contributing