From 105248ca94fdd0d8e1d723d16c7a0f0d1e642d12 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Sun, 13 Jan 2019 15:39:33 -0700 Subject: [PATCH] Note need to make install --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 1444f3a..048454f 100644 --- a/README.md +++ b/README.md @@ -111,6 +111,8 @@ 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. +If you want to use DeepState in C/C++ code, you will likely want to run `sudo make install` from the `$DEEPSTATE/build` directory as well. The examples mentioned below (file system, databases) assume this has already been done. + ## Usage DeepState consists of a static library, used to write test harnesses,