From c81e7e956a9a21173eafb911c09a756e54c7644e Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Tue, 8 Dec 2020 20:01:24 +0100
Subject: [PATCH] small typo
---
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 635d8cf..7028183 100644
--- a/examples/get_sign.rs
+++ b/examples/get_sign.rs
@@ -148,7 +148,7 @@ mod ll {
//
// > KTEST_FILE=klee-last/test000001.ktest gdb a.out
//
-// (gdb) get_sign
+// (gdb) break get_sign
// Breakpoint 1 at 0x1165: file examples/get_sign.rs, line 9.
//
// Now run the code in the debugger. What path was triggered.
--
GitLab