Find the right scope for the called function: When calling a base function, we keep the most derived, but we use the called contract in case it is a l

Builds a list of files with given extensions in specified subdirectories

Checks whether _value fits into IntegerType _type.

Checks whether _mantissa * (10 ** _expBase10) fits into 4096 bits.

Checks whether _mantissa * (10 ** _expBase10) fits into 4096 bits.

Check whether (_base ** _exp) fits into 4096 bits.

@returns test fragment created by this generator.

@copydoc evmc_vm::get_capabilities

Checks if the VM has the given capability.

The sponge-based hash construction. **/

Returns true iff @a _hash (hex with 0x prefix) is the Keccak256 hash of the binary data in @a _content.

@returns true if any ethdebug output (global or per-contract) was requested.

@returns true if all contracts should be analyzed.

@returns true if any per-contract ethdebug program output was requested.

Loads 32 bits / 4 bytes of data from the given @p data array in big-endian order.