fix: Rebuild artifacts in test_verifier_export

Author: wwared

.config/nextest.toml

@@ -16,7 +16,7 @@ limited = { max-threads = 4 }
 very-limited = { max-threads = 1 }
 
 [[profile.ci.overrides]]
-filter = '(test(syscall::precompiles) | test(stark::machine) | package(sphinx-recursion-program) | package(sphinx-recursion-circuit))'
+filter = '(test(syscall::precompiles) | test(stark::machine) | test(test_verifier_export) | package(sphinx-recursion-program) | package(sphinx-recursion-circuit))'
 test-group = 'limited'
 
 [[profile.ci.overrides]]

sdk/src/artifacts.rs

@@ -10,12 +10,13 @@ pub use sphinx_prover::build::{
 
 /// Exports the solidity verifier for PLONK proofs to the specified output directory.
 ///
-/// WARNING: If you are on development mode, this function assumes that the PLONK artifacts have
-/// already been built.
+/// WARNING: If you are on development mode, this function will rebuild the PLONK artifacts.
 pub fn export_solidity_plonk_bn254_verifier(output_dir: impl Into<PathBuf>) -> Result<()> {
     let output_dir: PathBuf = output_dir.into();
     let artifacts_dir = if sphinx_prover::build::sphinx_dev_mode() {
-        sphinx_prover::build::plonk_bn254_artifacts_dev_dir()
+        let dir = sphinx_prover::build::plonk_bn254_artifacts_dev_dir();
+        sphinx_prover::build::build_plonk_bn254_artifacts_with_dummy(dir.clone());
+        dir
     } else {
         try_install_plonk_bn254_artifacts(false)
     };