Disable smt checker for bytecodecompare.

This commit is contained in:
chriseth 2020-05-27 11:12:40 +02:00
parent b488627c79
commit 421f9f3876
2 changed files with 10 additions and 2 deletions

View File

@ -8,10 +8,13 @@ import json
SOLC_BIN = sys.argv[1]
REPORT_FILE = open("report.txt", mode="w", encoding='utf8', newline='\n')
def removeSMT(source):
return source.replace('pragma experimental SMTChecker;', '')
for optimize in [False, True]:
for f in sorted(glob.glob("*.sol")):
sources = {}
sources[f] = {'content': open(f, mode='r', encoding='utf8').read()}
sources[f] = {'content': removeSMT(open(f, mode='r', encoding='utf8').read())}
input_json = {
'language': 'Solidity',
'sources': sources,

View File

@ -64,6 +64,11 @@ var fs = require('fs')
var compiler = require('./solc-js/wrapper.js')(require('./solc-js/soljson.js'))
function removeSMT(source)
{
return source.replace('pragma experimental SMTChecker;', '');
}
for (var optimize of [false, true])
{
for (var filename of process.argv.slice(2))
@ -71,7 +76,7 @@ for (var optimize of [false, true])
if (filename !== undefined)
{
var inputs = {}
inputs[filename] = { content: fs.readFileSync(filename).toString() }
inputs[filename] = { content: removeSMT(fs.readFileSync(filename).toString()) }
var input = {
language: 'Solidity',
sources: inputs,