github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

fix test

Browse source
This commit is contained in:
schaeff 2020-01-20 17:11:48 +01:00
parent d9cc28c6b0
commit 76a2127120
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
zokrates_core/src/static_analysis/propagate_unroll.rs
View file

@ -87,7 +87,7 @@ mod tests {
// foo_1 = i_0 + j_1
// i_1 = 1
// j_2 = 1
// foo_2 = i_1 + j_2
// foo_2 = i_1 + j_1
let s = TypedStatement::For(
Variable::field_element("i".into()),
@ -129,8 +129,8 @@ mod tests {
Identifier::from("foo").version(0),
)),
FieldElementExpression::Add(
box FieldElementExpression::Number(FieldPrime::from(0)),
box FieldElementExpression::Number(FieldPrime::from(0)),
box FieldElementExpression::Identifier(Identifier::from("i").version(0)),
box FieldElementExpression::Identifier(Identifier::from("j").version(0)),
)
.into(),
),
@ -145,8 +145,8 @@ mod tests {
Identifier::from("foo").version(1),
)),
FieldElementExpression::Add(
box FieldElementExpression::Number(FieldPrime::from(0)),
box FieldElementExpression::Number(FieldPrime::from(1)),
box FieldElementExpression::Identifier(Identifier::from("i").version(0)),
box FieldElementExpression::Identifier(Identifier::from("j").version(1)),
)
.into(),
),
@ -167,8 +167,8 @@ mod tests {
Identifier::from("foo").version(2),
)),
FieldElementExpression::Add(
box FieldElementExpression::Number(FieldPrime::from(1)),
box FieldElementExpression::Number(FieldPrime::from(1)),
box FieldElementExpression::Identifier(Identifier::from("i").version(1)),
box FieldElementExpression::Identifier(Identifier::from("j").version(2)),
)
.into(),
),