Fix in equivalence checking #3176
Annotations
2 errors and 4 warnings
|
build hevm:
cli/cli.hs#L272
• Couldn't match type: ([EquivResult], [Expr End])
|
|
build hevm
Process completed with exit code 1.
|
|
Run foundry-rs/foundry-toolchain@v1
Cache not found for keys: win32-foundry-chain-fork-build-windows-9ec6e6328044f7fdff35612ef598151fc14a7c04, win32-foundry-chain-fork-build-windows-, win32-foundry-chain-fork-
|
|
Restore cached dependencies
Cache not found for keys: Windows-ghc-9.6.5-cabal-3.12.1.0-plan-ca70e3f2045af791d20e723f662b1fc920202e68bb28a676711431d698e63291, Windows-ghc-9.6.5-cabal-3.12.1.0-
|
|
Run msys2/setup-msys2@v2
Cache not found for keys: msys2-pkgs-upd:true-conf:b9e79c1f, msys2-pkgs-upd:true-conf:b9e79c1f, msys2-pkgs-upd:true
|
|
build hevm:
src/EVM/Solidity.hs#L53
Module ‘Data.Aeson’ does not export ‘json’
|
Loading