Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
Rumata888 committed Nov 7, 2024
1 parent 38916cd commit 6ec550d
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ using witness_ct = stdlib::witness_t<Builder>;
using DynamicArray_ct = stdlib::DynamicArray<Builder>;

STANDARD_TESTING_TAGS
TEST(DynamicArray, TagConsistency)
TEST(DynamicArray, TagCorrectness)
{

Builder builder;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ TEST(TwinRomTable, TagCorrectness)
twin_rom_table_ct table(table_values);

// Check that the tags in positions [0][0], [0][1], [1][0] are preserved
EXPECT_EQ(table[field_ct(0)][0].get_origin_tag(), submitted_value_origin_tag);
EXPECT_EQ(table[field_ct(witness_ct(&builder, 0))][0].get_origin_tag(), submitted_value_origin_tag);
EXPECT_EQ(table[field_ct(witness_ct(&builder, 0))][1].get_origin_tag(), challenge_origin_tag);
EXPECT_EQ(table[field_ct(1)][0].get_origin_tag(), next_challenge_tag);

Expand Down

0 comments on commit 6ec550d

Please sign in to comment.