From 9f462cc550496ba9393fd5e29c94d3402e64be05 Mon Sep 17 00:00:00 2001 From: Per Lindgren <per.lindgren@ltu.se> Date: Fri, 11 Dec 2020 12:11:29 +0100 Subject: [PATCH] fiexed macro in readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 40d3004..a5aa296 100644 --- a/README.md +++ b/README.md @@ -43,7 +43,7 @@ Example usage: ``` Rust ... let mut a = 0; - klee_make_symbolic(&mut a, "a"); + klee_make_symbolic!(&mut a, "a"); ``` ## KLEE test case generation -- GitLab