aboutsummaryrefslogtreecommitdiff
path: root/zkvms_host_io/src
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-01-31 10:13:28 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-01-31 10:13:44 +0200
commitc316d30af44a54119a168967d591b0e8ec4d54c3 (patch)
tree9e9469ff81f6b5f9598da325d5f765dbdce0de7a /zkvms_host_io/src
parent53ed6b623f49bdf68c8af79ad763d95bee19123c (diff)
downloadzkVMs-benchmarks-c316d30af44a54119a168967d591b0e8ec4d54c3.tar
zkVMs-benchmarks-c316d30af44a54119a168967d591b0e8ec4d54c3.tar.gz
zkVMs-benchmarks-c316d30af44a54119a168967d591b0e8ec4d54c3.zip
feat(zkvms_host_io): Add default_env RunWith attribute
Diffstat (limited to 'zkvms_host_io/src')
-rw-r--r--zkvms_host_io/src/lib.rs14
1 files changed, 10 insertions, 4 deletions
diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs
index 191d2ad..a3bdb1b 100644
--- a/zkvms_host_io/src/lib.rs
+++ b/zkvms_host_io/src/lib.rs
@@ -1,10 +1,12 @@
use clap::{Parser, ValueEnum};
use num_traits::NumCast;
use serde::{ Serialize, Deserialize };
-use std::fs::read_to_string;
+use env_file_reader::read_str;
+use std::{ fs::read_to_string, collections::HashMap };
pub use input_macros::foreach_input_field;
static DEFAULT_PUBLIC_INPUT: &str = include_str!(concat!(env!("INPUTS_DIR"), "/default_public_input.toml"));
+static DEFAULT_ENV: &str = include_str!(concat!(env!("INPUTS_DIR"), "/default.env"));
#[derive(Parser, Debug)]
#[command(version, about, long_about = None)]
@@ -22,10 +24,11 @@ pub enum RunType {
Verify,
}
-#[derive(Debug, Copy, Clone, PartialEq, Eq)]
+#[derive(Debug, Clone, PartialEq, Eq)]
pub struct RunWith<T> {
pub run_type: RunType,
pub input: T,
+ pub default_env: HashMap<String, String>,
}
input_macros::generate_input_struct!();
@@ -38,10 +41,13 @@ pub fn read_args() -> RunWith<Input> {
} else {
DEFAULT_PUBLIC_INPUT.to_string()
};
- let val: Input = toml::from_str(&contents).unwrap();
+ let input: Input = toml::from_str(&contents).unwrap();
+
+ let default_env = read_str(DEFAULT_ENV).unwrap();
RunWith {
run_type: cli.run_type,
- input: val,
+ input,
+ default_env,
}
}