Debug

Author: blishko

flake.lock

@@ -580,6 +580,15 @@ yulOptimizationsSolcTests = testCase "eq-all-yul-optimization-tests" $ do
                     -- Bug in solidity, fixed in newer versions:
                     -- https://github.com/ethereum/solidity/issues/15397#event-14116827816
                     , "no_move_transient_storage.yul"
+
+                    -- to investigate, currently crash
+                    , "commonSubexpressionEliminator/long_literals_as_builtin_args.yul"
+                    , "disambiguator/string_as_hex_and_hex_as_string.yul"
+                    , "fullSuite/sub_objects.yul"
+                    , "loadResolver/extstaticcall.yul"
+                    , "loadResolver/memory_with_extcall_invalidation.yul"
+                    , "loadResolver/zero_length_reads_eof.yul"
+                    , "equivalentFunctionCombiner/constant_representation_datasize.yul"
                     ]
 
         solcRepo <- fromMaybe (internalError "cannot find solidity repo") <$> (lookupEnv "HEVM_SOLIDITY_REPO")
@@ -626,7 +635,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-----------------"