cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #14307 from pgebal/pgebal/print_smt_to_output_smtchecker_smtlib_code

Browse Source 
Add --print-smt flag to output the SMTChecker SMTLIB code
This commit is contained in:
Leo
2023-06-19 16:58:52 +02:00
committed by GitHub
parent 381b610fe5 d4be1d9c2f
commit 6b2939da31
49 changed files with 1799 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/error_codes.py
+2
View File
@@ -204,7 +204,9 @@ def examine_id_coverage(top_dir, source_id_to_file_names, new_ids_only=False):
"1834", # Unimplemented feature error, as we do not test it anymore via cmdLineTests
"5430", # basefee being used in inline assembly for EVMVersion < london
"1180", # SMTChecker, covered by CL tests
"2339", # SMTChecker, covered by CL tests
"2961", # SMTChecker, covered by CL tests
"6240", # SMTChecker, covered by CL tests
"9576", # SMTChecker, covered by CL tests
}
assert len(test_ids & white_ids) == 0, "The sets are not supposed to intersect"