github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix import paths

Browse source
This commit is contained in:
schaeff 2019-01-10 10:21:13 +01:00
parent af256496f1
commit 0770db761d
3 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Cargo.lock generated
View file

@ -642,7 +642,7 @@ dependencies = [
"regex 0.2.11 (registry+https://github.com/rust-lang/crates.io-index)",
"serde_json 1.0.33 (registry+https://github.com/rust-lang/crates.io-index)",
"zokrates_core 0.3.2",
"zokrates_field 0.3.0",
"zokrates_field 0.3.1",
"zokrates_fs_resolver 0.3.2",
]
@ -665,12 +665,12 @@ dependencies = [
"serde 1.0.80 (registry+https://github.com/rust-lang/crates.io-index)",
"serde_derive 1.0.80 (registry+https://github.com/rust-lang/crates.io-index)",
"serde_json 1.0.33 (registry+https://github.com/rust-lang/crates.io-index)",
"zokrates_field 0.3.0",
"zokrates_field 0.3.1",
]
[[package]]
name = "zokrates_field"
version = "0.3.0"
version = "0.3.1"
dependencies = [
"bincode 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",
"lazy_static 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",

1
zokrates_core/tests/integration.rs
View file

@ -1,5 +1,6 @@
extern crate serde_json;
extern crate zokrates_core;
extern crate zokrates_field;
#[macro_use]
extern crate serde_derive;

4
zokrates_core/tests/utils/mod.rs
View file

@ -2,7 +2,7 @@ extern crate serde_json;
use std::io;
use zokrates_core::compile::{compile as generic_compile, CompileError};
use zokrates_core::field::{Field, FieldPrime};
use zokrates_field::field::{Field, FieldPrime};
use zokrates_core::ir;
#[derive(Serialize, Deserialize)]
@ -90,7 +90,7 @@ macro_rules! zokrates_test {
#[test]
fn $name() {
use zokrates_core::field::{FieldPrime, Field};
use zokrates_field::field::{FieldPrime, Field};
let code_string = $crate::utils::read_file(&format!("./{}.code", stringify!($name)));
let test_string = $crate::utils::read_file(&format!("./{}.json", stringify!($name)));