Skip to content

Commit d246759

Browse files
author
jeanmon
committed
7080: fixes after rebase to master
1 parent d31db21 commit d246759

File tree

1 file changed

+4
-7
lines changed
  • barretenberg/cpp/src/barretenberg/relations/generated/avm

1 file changed

+4
-7
lines changed

barretenberg/cpp/src/barretenberg/relations/generated/avm/mem.hpp

+4-7
Original file line numberDiff line numberDiff line change
@@ -365,20 +365,17 @@ template <typename FF_> class memImpl {
365365
{
366366
Avm_DECLARE_VIEWS(27);
367367

368-
auto tmp = (((-mem_skip_check_tag + FF(1)) * (-mem_rw + FF(1))) *
369-
(((mem_r_in_tag - mem_tag) * (-mem_one_min_inv + FF(1))) - mem_tag_err));
368+
auto tmp = ((((mem_tag * (-mem_skip_check_tag + FF(1))) * (-mem_rw + FF(1))) *
369+
(((mem_r_in_tag - mem_tag) * (-mem_one_min_inv + FF(1))) - mem_tag_err)) -
370+
FF(0));
370371
tmp *= scaling_factor;
371372
std::get<27>(evals) += tmp;
372373
}
373374
// Contribution 28
374375
{
375376
Avm_DECLARE_VIEWS(28);
376377

377-
<<<<<<< HEAD
378-
auto tmp = (((-mem_tag_err + FF(1)) * mem_one_min_inv) - FF(0));
379-
=======
380-
auto tmp = ((mem_tag * (-mem_tag_err + FF(1))) * mem_one_min_inv);
381-
>>>>>>> ed5b34d52f (7080: repair unit tests related to unitialized indirect memory in a MOV)
378+
auto tmp = (((mem_tag * (-mem_tag_err + FF(1))) * mem_one_min_inv) - FF(0));
382379
tmp *= scaling_factor;
383380
std::get<28>(evals) += tmp;
384381
}

0 commit comments

Comments
 (0)