From 5d8f6df05837897e94b66f54c1f90363d23dc6ae Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Wed, 1 Dec 2021 13:51:14 +0100
Subject: [PATCH] bump version
---
cargo-klee/src/main.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cargo-klee/src/main.rs b/cargo-klee/src/main.rs
index a713f19..002d720 100644
--- a/cargo-klee/src/main.rs
+++ b/cargo-klee/src/main.rs
@@ -22,7 +22,7 @@ fn main() -> Result<(), failure::Error> {
fn run() -> Result<i32, failure::Error> {
let matches = App::new("cargo-klee")
- .version("0.3.0")
+ .version("0.4.0")
.author("Lulea University of Technology (LTU)")
.about("KLEE analysis of Rust application")
// as this is used as a Cargo sub-command the first argument will be the name of the binary
--
GitLab