From e6281104a253fea734746bbdae4f453d89a00b5f Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 10 Jan 2019 14:01:34 -0700 Subject: [PATCH] mention leveldb example --- README.md | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 1918abc..7602394 100644 --- a/README.md +++ b/README.md @@ -113,7 +113,17 @@ 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). A more extensive example, using DeepState and libFuzzer to test a user-mode file system, is available [here](https://github.com/agroce/testfs); in particular the [Tests.cpp](https://github.com/agroce/testfs/blob/master/Tests.cpp) file and CMakeLists.txt show DeepState 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). A more extensive +example, using DeepState and libFuzzer to test a user-mode file +system, is available [here](https://github.com/agroce/testfs); in +particular the +[Tests.cpp](https://github.com/agroce/testfs/blob/master/Tests.cpp) +file and CMakeLists.txt show DeepState usage. Another extensive +example is a [differential tester that compare's Google's leveldb and +Facebook's rocksdb](https://github.com/agroce/testleveldb). ## Example Code