Skip to content
Snippets Groups Projects
Commit 3852de82 authored by Edvin Åkerfeldt's avatar Edvin Åkerfeldt
Browse files

get_sign.c, Updated due to issue #3

parent ebedd891
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 4 additions and 1 deletion
examples/get_sign.c
+ 4
− 1
View file @ 3852de82
...@@ -46,7 +46,10 @@ KLEE: done: generated tests = 3 ...@@ -46,7 +46,10 @@ KLEE: done: generated tests = 3
// //
// [your answer here] // [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 // C) Inspecting the generated test cases
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment