search

sCrypt-Inc / zokrates

A zero-knowledge proof toolbox on Bitcoin. A fork of zokrates (https://github.com/Zokrates/ZoKrates).
GNU Lesser General Public License v3.0
14 stars 1 forks source link

Bug: test failure #2

Closed xhliu closed 3 years ago

xhliu commented 3 years ago

Unit test fails https://github.com/sCrypt-Inc/zokrates/blob/dd233d9475c0b927efaa5306870fdfc7a1785f1d/zokrates_core/src/flatten/mod.rs#L2619

> cargo test assertion_field_eq
unning 1 test
test flatten::tests::assertion_field_eq ... FAILED

failures:

---- flatten::tests::assertion_field_eq stdout ----
thread 'flatten::tests::assertion_field_eq' panicked at 'assertion failed: `(left == right)`
  left: `FlatFunction(arguments: []):
        _0 = 1
        _1 = 2
        _2 = (_0 + 1)
        FlatCondition(Ide(_1), Mult(Ide(_2), Num(1)))`,
 right: `FlatFunction(arguments: []):
        _0 = 1
        _1 = 2
        FlatCondition(Ide(_1), Mult(Add(Ide(_0), Num(1)), Num(1)))`', zokrates_core/src/flatten/mod.rs:2682:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

failures:
    flatten::tests::assertion_field_eq

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 199 filtered out; finished in 0.00s