solidity icon indicating copy to clipboard operation
solidity copied to clipboard

isoltest crashes on interactive update in `module_function_deployed.sol`

Open blishko opened this issue 3 days ago • 0 comments

Steps to reproduce

Run isoltest on a specific test (given below), trying to update it interactively to add gas usage to expected output:

./test/tools/isoltest --no-smt -t "semanticTests/deployedCodeExclusion/module_function_deployed*" --enforce-gas-cost --enforce-gas-cost-min-value 0

First, isoltest asks if we want to update expectations. On update, the test is re-run with updated expectations and isoltest crashes:

Re-running test case...
semanticTests/deployedCodeExclusion/module_function_deployed.sol: Unhandled exception during test: /solidity/libsolidity/interface/CompilerStack.cpp(1703): Throw in function const CompilerStack::Contract &solidity::frontend::CompilerStack::contract(const std::string &) const
Dynamic exception type: boost::wrapexcept<solidity::langutil::InternalCompilerError>
std::exception::what: Contract "" not found.
[solidity::util::tag_comment*] = Contract "" not found.

blishko avatar Dec 08 '25 20:12 blishko