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 tests

Browse source
This commit is contained in:
dark64 2021-09-29 19:02:56 +02:00
parent ef7183cae0
commit 99fe006268
2 changed files with 12 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_core/src/static_analysis/propagation.rs
View file

@ -1435,6 +1435,7 @@ mod tests {
BooleanExpression::Value(true),
FieldElementExpression::Number(Bn128Field::from(2)),
FieldElementExpression::Number(Bn128Field::from(3)),
ConditionalKind::IfElse,
);
assert_eq!(
@ -1449,6 +1450,7 @@ mod tests {
BooleanExpression::Value(false),
FieldElementExpression::Number(Bn128Field::from(2)),
FieldElementExpression::Number(Bn128Field::from(3)),
ConditionalKind::IfElse,
);
assert_eq!(

14
zokrates_core/src/typed_absy/integer.rs
View file

@ -696,6 +696,7 @@ impl<'ast, T> From<BigUint> for IntExpression<'ast, T> {
#[cfg(test)]
mod tests {
use super::*;
use crate::typed_absy::ConditionalKind;
use zokrates_field::Bn128Field;
#[test]
@ -717,7 +718,7 @@ mod tests {
n.clone() * n.clone(),
IntExpression::pow(n.clone(), n.clone()),
n.clone() / n.clone(),
IntExpression::conditional(c.clone(), n.clone(), n.clone()),
IntExpression::conditional(c.clone(), n.clone(), n.clone(), ConditionalKind::IfElse),
IntExpression::select(n_a.clone(), i.clone()),
];
@ -728,7 +729,12 @@ mod tests {
t.clone() * t.clone(),
FieldElementExpression::pow(t.clone(), i.clone()),
t.clone() / t.clone(),
FieldElementExpression::conditional(c.clone(), t.clone(), t.clone()),
FieldElementExpression::conditional(
c.clone(),
t.clone(),
t.clone(),
ConditionalKind::IfElse,
),
FieldElementExpression::select(t_a.clone(), i.clone()),
];
@ -783,7 +789,7 @@ mod tests {
IntExpression::left_shift(n.clone(), i.clone()),
IntExpression::right_shift(n.clone(), i.clone()),
!n.clone(),
IntExpression::conditional(c.clone(), n.clone(), n.clone()),
IntExpression::conditional(c.clone(), n.clone(), n.clone(), ConditionalKind::IfElse),
IntExpression::select(n_a.clone(), i.clone()),
];
@ -800,7 +806,7 @@ mod tests {
UExpression::left_shift(t.clone(), i.clone()),
UExpression::right_shift(t.clone(), i.clone()),
!t.clone(),
UExpression::conditional(c.clone(), t.clone(), t.clone()),
UExpression::conditional(c.clone(), t.clone(), t.clone(), ConditionalKind::IfElse),
UExpression::select(t_a.clone(), i.clone()),
];