solidity/scripts/bytecodecompare at f099d48b341e4e3be91aa40a2cc5db1ca9d9e858 - solidity - Gitea: come getta cuppa

cerc-io/solidity

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00

Files

T

History

Alex Beregszaszi 5b283f4a08 Merge pull request #10364 from ethereum/bytecode-comparison-with-model-checker-engine-none

Disable SMT checker instead of stripping SMT pragmas in bytecode comparison

2020-11-20 20:00:27 +00:00

..

deploy_key.enc

Create bytecode for all tests and push to remote repo.

2017-03-23 09:56:18 +01:00

prepare_report.py

Use modelCheckerSettings to disable SMT in bytecode comparison instead of stripping the pragmas

2020-11-20 18:53:15 +01:00

storebytecode.sh

Use modelCheckerSettings to disable SMT in bytecode comparison instead of stripping the pragmas

2020-11-20 18:53:15 +01:00