Debug

Author: blishko

test/EVM/Equivalence/EquivalenceTests.hs

@@ -574,7 +574,7 @@ yulOptimizationsSolcTests = testCase "eq-all-yul-optimization-tests" $ do
             filteredASym = symbolicMem [ x | x <- unfiltered, (not $ x =~ [re|^//|]) && (not $ x =~ [re|^$|]) ]
             filteredBSym = symbolicMem [ replaceAll "" $ x *=~[re|^//|] | x <- onlyAfter [re|^// step:|] unfiltered, not $ x =~ [re|^$|] ]
           start <- getCurrentTime
-          let verbosity :: Int = 0
+          let verbosity :: Int = 1
           when (verbosity > 0) $ putStrLn $ "Checking file: " <> f
           when (verbosity > 1) $ do
             putStrLn "-------------Original Below-----------------"