chore(release): 0.4.1 [skip ci]

## [0.4.1](v0.4.0...v0.4.1) (2021-06-15) ### Bug Fixes * **symbolic:** condition when to optimistically prune the search space ([6160b3b](6160b3b))
cksystemsgroup · Jun 15, 2021 · 5b7b7e4 · 5b7b7e4
1 parent 6160b3b
commit 5b7b7e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,7 @@ license = "MIT"
 categories = ["command-line-utilities", "development-tools::testing", "science", "simulation"]
 keywords = ["monster", "riscv", "riscu", "symbolic-execution", "smt"]
 edition = "2018"
-version ="0.4.0"
+version ="0.4.1"
 
 [features]
 default = []