Skip to content

Commit

Permalink
use lem
Browse files Browse the repository at this point in the history
  • Loading branch information
winston-h-zhang committed Nov 1, 2023
1 parent 026c214 commit f86b662
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/public_parameters/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -217,7 +217,7 @@ mod tests {
std::env::set_var("LURK_PUBLIC_PARAMS", tmp_dir.path());

let lang: Arc<Lang<S1, Coproc<S1>>> = Arc::new(Lang::new());
type OG = crate::proof::nova::C1Lurk<'static, S1, Coproc<S1>>;
type OG = crate::proof::nova::C1LEM<'static, S1, Coproc<S1>>;

Check warning on line 220 in src/public_parameters/mod.rs

View check run for this annotation

Codecov / codecov/patch

src/public_parameters/mod.rs#L220

Added line #L220 was not covered by tests
let instance = Instance::new(10, lang, true, Kind::NovaPublicParams);
// Without disk cache, writes to tmpfile
let _public_params = public_params::<S1, Coproc<S1>, OG>(&instance).unwrap();
Expand Down

0 comments on commit f86b662

Please sign in to comment.