From 9f575c54ec5eb1af979d8d593257177eedeee5ba Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 7 Dec 2020 15:43:21 +0100
Subject: [PATCH] running klee

---
 examples/get_sign.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/examples/get_sign.c b/examples/get_sign.c
index 96c921d..738d965 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -26,6 +26,10 @@ int main()
 // A) Compiling into LLVM bitcode
 // > clang -emit-llvm -c get_sign.c
 //
+// Now you can run Klee on your generated bitcode.
+//
+// > klee get_sign.bc
+//
 // [your answer here]
 //
 // B) Inspecting the output
-- 
GitLab