nit

Consensys · Apr 3, 2024 · b6a31b8 · b6a31b8
1 parent ef5a593
commit b6a31b8
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/test/succ.spec.ts b/test/succ.spec.ts
@@ -85,7 +85,7 @@ function isException(sample: string, fun: sol.FunctionDefinition, element: sol.A
 
         for (const o of res) {
             console.error(o.id, element.id);
-            if (o === element) {
+            if (o.id === element.id) {
                 return true;
             }
         }
@@ -302,12 +302,16 @@ describe("Test succ relation for all samples", () => {
                                 continue;
                             }
 
+                            if (reachable.has(element.id)) {
+                                continue;
+                            }
+
                             // This is a legit exception
                             if (isException(sample, fun, element)) {
                                 continue;
                             }
 
-                            if (verbose && !reachable.has(element.id)) {
+                            if (verbose) {
                                 console.error(
                                     `Node ${element.extractSourceFragment(contents)} (${
                                         element.constructor.name
@@ -317,7 +321,7 @@ describe("Test succ relation for all samples", () => {
                                 );
                             }
 
-                            expect(reachable.has(element.id)).toBeTruthy();
+                            expect(false).toBeTruthy();
                         }
                     }
                 }