From f61e4b4ff679fc1135019d6c0d7b4cd5e432d4ea Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Fri, 13 Jul 2018 14:32:22 -0700 Subject: [PATCH] Minor readme edit --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index 341fc20..7a836a7 100644 --- a/README.md +++ b/README.md @@ -89,8 +89,6 @@ $ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples 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 All accepted PRs are awarded bounties by Trail of Bits. Join the #deepstate channel on the [Empire Hacking Slack](https://empireslacking.herokuapp.com/) to discuss ongoing development and claim bounties. Check the [good first issue](https://github.com/trailofbits/deepstate/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22) label for suggested contributions.