diff --git a/examples/get_sign.c b/examples/get_sign.c
index 0bf1df59594de2feafc6152fbe3540e090f3ea01..3d16d0a69ca7a8968144252eef6027a1ee51003b 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