Skip to content

Commit

Permalink
Format
Browse files Browse the repository at this point in the history
  • Loading branch information
Rumata888 committed Sep 25, 2024
1 parent db4ea16 commit e923827
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -199,7 +199,7 @@ TYPED_TEST(BoolTest, And)
for (size_t i = 0; i < 32; ++i) {
bool_ct a = witness_ct(&builder, (bool)(i % 1));
bool_ct b = witness_ct(&builder, (bool)(i % 2 == 1));
a & b;
a& b;
}

bool result = CircuitChecker::check(builder);
Expand All @@ -214,17 +214,17 @@ TYPED_TEST(BoolTest, AndConstants)
for (size_t i = 0; i < 32; ++i) {
bool_ct a = witness_ct(&builder, (bool)(i % 2));
bool_ct b = witness_ct(&builder, (bool)(i % 3 == 1));
a & b;
a& b;
}
for (size_t i = 0; i < 32; ++i) {
if (i % 2 == 0) {
bool_ct a = witness_ct(&builder, (bool)(i % 2));
bool_ct b(&builder, (bool)(i % 3 == 1));
a & b;
a& b;
} else {
bool_ct a(&builder, (bool)(i % 2));
bool_ct b = witness_ct(&builder, (bool)(i % 3 == 1));
a & b;
a& b;
}
}

Expand Down

0 comments on commit e923827

Please sign in to comment.