fix: update vrs artifact runid; DV_LOG

Author: zjp-CN

.github/gen_core.json.sh

@@ -12,8 +12,8 @@ export VERIFY_RUST_STD_LIBRARY=$WORKSPACE/verify-rust-std/library
 # test/verify-rust-std needs this, so remember to
 # * update runid after verify-rust-std submodule syncs
 # * update snapshots after runid changes
-# rm tmp -rf
-# gh run download -D tmp -R model-checking/verify-rust-std 16777123952
+rm tmp -rf
+gh run download -D tmp -R model-checking/verify-rust-std 17086909032
 
 ls -alh $VERIFY_RUST_STD_LIBRARY
 

src/logger.rs

@@ -1,3 +1,4 @@
+use log::LevelFilter;
 use std::{env, fs};
 use tracing_subscriber::{EnvFilter, fmt, prelude::*, registry};
 
@@ -22,7 +23,10 @@ pub fn init() {
     // write logs is keeping records across the whole compilation.
     let reg = if let Some(log_file) = env::var(ENV_LOG)
         .map(|log| {
-            log.parse::<log::Level>().ok()?;
+            let level = log.parse::<LevelFilter>().ok()?;
+            if level == LevelFilter::Off {
+                return None;
+            }
             log_file()
         })
         .ok()

tests/utils.rs

@@ -9,7 +9,7 @@ pub use pretty_assertions::assert_eq;
 
 pub fn cmd(args: &[&str]) -> String {
     let mut command = Command::cargo_bin(env!("CARGO_PKG_NAME")).unwrap();
-    command.env("RUST_LOG", "off").args(args);
+    command.env("DV_LOG", "off").args(args);
     let output = command.output().unwrap();
     assert!(
         output.status.success(),