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

scripts/bytecodecompare/prepare_report.py

@@ -8,13 +8,10 @@ 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': removeSMT(open(f, mode='r', encoding='utf8').read())}
+        sources[f] = {'content': open(f, mode='r', encoding='utf8').read()}
         input_json = {
             'language': 'Solidity',
             'sources': sources,
@@ -23,6 +20,9 @@ for optimize in [False, True]:
                     'enabled': optimize
                 },
                 'outputSelection': {'*': {'*': ['evm.bytecode.object', 'metadata']}}
+            },
+            'modelCheckerSettings': {
+                "engine": 'none'
             }
         }
         args = [SOLC_BIN, '--standard-json']