Make memory models and reasoning efforts configurable

This commit is contained in:
Zuxin Liu
2026-03-19 14:25:39 -07:00
parent 1d210f639e
commit becdc514a8
7 changed files with 45 additions and 5 deletions

View File

@@ -36,7 +36,7 @@ pub(crate) struct ExecServerFileSystem {
impl Default for ExecServerFileSystem {
fn default() -> Self {
Self {
file_system: Arc::new(Environment.get_filesystem()),
file_system: Arc::new(Environment::default().get_filesystem()),
}
}
}