Skip to content
Snippets Groups Projects
Commit f4c4df31 authored by Per Lindgren's avatar Per Lindgren
Browse files

typo

parent 9f575c54
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
examples/get_sign.c
+ 1
− 1
View file @ f4c4df31
...@@ -51,7 +51,7 @@ int main() ...@@ -51,7 +51,7 @@ int main()
// What path in the code does this test represent? // What path in the code does this test represent?
// //
// [your answer here] // [your answer here]
// > ktest-tool klee-last/test000002.ktest // > ktest-tool klee-last/test000003.ktest
// //
// What path in the code does this test represent? // What path in the code does this test represent?
// //
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment