Update Z3 binary and create a release commit.

facebookexperimental · Aug 2, 2019 · 608a411 · 608a411
1 parent 5841b15
commit 608a411
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 81 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,7 +1,7 @@
 os: osx
 language: rust
 rust:
-- nightly-2019-07-03
+- nightly-2019-07-08
 
 before_install:
 - if [ ${TRAVIS_OS_NAME} == "osx" ]; then curl -L https://github.com/mozilla/grcov/releases/download/v0.4.3/grcov-osx-x86_64.tar.bz2 | tar jxf -; fi

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/binaries/libz3.dylib b/binaries/libz3.dylib
diff --git a/checker/Cargo.toml b/checker/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "mirai"
-version = "0.0.1"
+version = "1.0.0"
 authors = ["Herman Venter <[email protected]>"]
 description = "A static analysis tool for Rust, based on Abstract Interpretation of MIR"
 repository = "https://github.com/facebookexperimental/MIRAI"

diff --git a/checker/src/summaries.rs b/checker/src/summaries.rs
@@ -637,7 +637,7 @@ impl<'a, 'tcx: 'a> PersistentSummaryCache<'a, 'tcx> {
             self.cache.entry(def_id).or_insert_with(|| {
                 let summary = Self::get_persistent_summary_for_db(db, &persistent_key);
                 if !def_id.is_local() && summary.is_none() {
-                    info!(
+                    warn!(
                         "Summary store has no entry for {}{}",
                         persistent_key, arg_types_key
                     );