From 3852de8294e6e9669ad760269f2fd9e9bb30abac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edvin=20=C3=85kerfeldt?= <Edvin Åkerfeldt>
Date: Fri, 18 Dec 2020 12:08:26 +0100
Subject: [PATCH] get_sign.c, Updated due to issue #3

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

diff --git a/examples/get_sign.c b/examples/get_sign.c
index 0bf1df5..3d16d0a 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -46,7 +46,10 @@ KLEE: done: generated tests = 3
 //
 // [your answer here]
 /*
-lrwxrwxrwx 1 ironedde ironedde 69 Dec 12 14:41 klee-last -> /home/ironedde/Documents/courses/D7020E/gits/klee_tutorial/klee-out-1
+$ ls -l klee-last
+lrwxrwxrwx 1 ironedde ironedde 69 Dec 18 12:03 klee-last -> /home/ironedde/Documents/courses/D7020E/gits/klee_tutorial/klee-out-0
+$ ls klee-out-0
+assembly.ll  info  messages.txt  run.istats  run.stats  test000001.ktest  test000002.ktest  test000003.ktest  warnings.txt
 */
 //
 // C) Inspecting the generated test cases
-- 
GitLab