More stuff

Author: toolCHAINZ

crackers_python/src/config/mod.rs

@@ -1,4 +1,5 @@
 use crate::config::constraint::PythonConstraintConfig;
+use crate::synthesis::PythonSynthesisParams;
 use crackers::config::meta::MetaConfig;
 use crackers::config::sleigh::SleighConfig;
 use crackers::config::specification::SpecificationConfig;
@@ -42,10 +43,10 @@ impl TryFrom<CrackersConfig> for PythonCrackersConfig {
     }
 }
 
-impl TryFrom<PythonCrackersConfig> for CrackersConfig {
+impl TryFrom<&PythonCrackersConfig> for CrackersConfig {
     type Error = PyErr;
 
-    fn try_from(value: PythonCrackersConfig) -> Result<Self, Self::Error> {
+    fn try_from(value: &PythonCrackersConfig) -> Result<Self, Self::Error> {
         Python::with_gil(|py|{
 
         Ok(CrackersConfig{
@@ -70,4 +71,10 @@ impl PythonCrackersConfig {
             toml_edit::de::from_str(&s).map_err(|e| PyRuntimeError::new_err(format!("{}", e)))?;
         p.try_into()
     }
+
+    pub fn resolve_config(&self) -> PyResult<PythonSynthesisParams> {
+        let cfg = CrackersConfig::try_from(self)?;
+        let syn = cfg.resolve()?;
+        Ok(PythonSynthesisParams{inner: syn})
+    }
 }

crackers_python/src/synthesis.rs

@@ -7,7 +7,7 @@ use pyo3::{pyclass, pymethods, Py, PyResult, Python};
 
 #[pyclass]
 pub struct PythonSynthesisParams {
-    inner: SynthesisParams,
+    pub inner: SynthesisParams,
 }
 
 #[pymethods]