get_sign.rs, Updated due to issue #3

9dae5458 · Edvin Åkerfeldt · 8c42dbb0 · 9dae5458
Commit 9dae5458 authored 4 years ago by Edvin Åkerfeldt
--- a/examples/get_sign.rs
+++ b/examples/get_sign.rs
@@ -121,7 +121,7 @@ The has was:
 //
 // [your answer here]
 /*
-$ ktest-tool target/debug/examples/klee-last/test000001.ktest
+$ ktest-tool target/debug/examples/klee-last/test00000{1,2,3}.ktest
 */
 //
 // C) Replaying your test cases.