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

---
 examples/get_sign.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/get_sign.rs b/examples/get_sign.rs
index 64cc729..aa6be43 100644
--- 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.
-- 
GitLab