Merge branch 'master' into better_concrete

uber · Jun 6, 2024 · e49afbe · e49afbe
2 parents 34d7368 + 14d134f
commit e49afbe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/models/default_configs.rs b/src/models/default_configs.rs
@@ -194,7 +194,7 @@ pub(crate) fn default_allow_dirty_ast() -> bool {
 }
 
 pub(crate) fn default_graph_validation() -> bool {
-  true
+  false
 }
 
 pub(crate) fn default_experiment_dyn() -> bool {