nits

Consensys · Apr 2, 2024 · 5825959 · 5825959
1 parent 2be8769
commit 5825959
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/test/analyses.spec.ts b/test/analyses.spec.ts
@@ -57,9 +57,6 @@ describe("Analyses", () => {
                     const received = (analysisResults.get(key) as dl.Fact[]).map((fact) =>
                         fact.toJSON()
                     );
-                    console.error(key);
-                    console.error(received);
-                    console.error(val);
                     expect(received).toEqual(val);
                 }
             });

diff --git a/test/succ.spec.ts b/test/succ.spec.ts
@@ -16,7 +16,8 @@ const skipSamples: string[] = [
     "test/samples/solidity/meta/imports/lib/B.sol",
     "test/samples/solidity/meta/imports/lib2/C.sol",
     "test/samples/solidity/meta/imports/lib2/D.sol",
-    "test/samples/solidity/path_remapping/entry.sol"
+    "test/samples/solidity/path_remapping/entry.sol",
+    "test/samples/solidity/features_0824.sol"
 ];
 
 const samples = searchRecursive(