From 50ebf39d37a5941ddc06115b672b68a2385e720e Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Mon, 11 Jul 2022 14:24:12 +0200
Subject: [PATCH] Comment

---
 evm/src/cross_table_lookup.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/evm/src/cross_table_lookup.rs b/evm/src/cross_table_lookup.rs
index 049821e0..a01fbfa1 100644
--- a/evm/src/cross_table_lookup.rs
+++ b/evm/src/cross_table_lookup.rs
@@ -682,6 +682,9 @@ pub(crate) mod testutils {
             looked_table,
             default,
         } = ctl;
+
+        // Maps `m` with `(table, i) in m[row]` iff the `i`-th row of `table` is equal to `row` and
+        // the filter is 1. Without default values, the CTL check holds iff `looking_multiset == looked_multiset`.
         let mut looking_multiset = MultiSet::<F>::new();
         let mut looked_multiset = MultiSet::<F>::new();