From aa5be2dd63a9b308e7457553f3d41dd82e063172 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Thu, 17 Dec 2020 16:39:49 +0100
Subject: [PATCH] get_sign.c DONE

---
 examples/get_sign.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/get_sign.c b/examples/get_sign.c
index 0df0ef4..164cd2a 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -205,6 +205,7 @@ int main()
 // `klee_make_symbolic(&a, sizeof(a), "a");`
 // works when you replay test cases:
 //
-// [When test cases is replayed]
+// [The variable a is created with the constraints from the beginning.
+// The variable a is then changed to satisfy a path.]
 // (hint, KTEST_FILE points to a concrete assignment
 // of the memory region)
-- 
GitLab