test-hevm fails but test-ethrun pass with contract calling library

[dapphub]

test-hevm fails but test-ethrun pass with contract calling library

[ggrieco-tob]

This is still failing in hevm 0.24. Additionally, using the following simple test code:

pragma solidity ^0.4.21;

library Lib{
    struct Storage{
        uint val;
    }

    function set(Storage storage st) public {
        st.val = 1;
    }
}

and

pragma solidity ^0.4.21;

import "ds-test/test.sol";

import "./Test.sol";

contract TestTest is DSTest {
    using Lib for Lib.Storage;
    Lib.Storage st;

    function setUp() public {
       st.set();
    }

    function testFail_basic_sanity() public {
        assertTrue(false);
    }

    function test_basic_sanity() public {
        assertTrue(true);
    }
}

All the tests will fail with VMError. For instance:

test test_basic_sanity() (src/Test.t.sol:TestTest)
 ├╴constructor                                    
 ├╴initialize test                                
 └╴test_basic_sanity()                            
    └╴error BadJumpDestination (src/Test.t.sol:19)

[rainbreak]

Thanks for the simple example. This does appear broken somehow. Can you confirm your solc version?

[ggrieco-tob]

Sure, I'm using:

$ solc --version
solc, the solidity compiler commandline interface
Version: 0.4.25+commit.59dbf8f1.Linux.g++

[mbrock]

Thanks. This turns out to be an error in Hevm's gas semantics for delegatecalls, and also likely an error in the yellow paper's definition of delegatecall. We'll patch it and make a new release after a bit more investigation.

[rainbreak]

fixed by #158

[rainbreak]

@ggrieco-tob if there are still issues please let us know

[ggrieco-tob]

I will be happy to test it, but I'm having trouble to install it from source (using stack). Do you know when this new release will be added into stackage?