cerc-io/solidity
10
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
19,100 Commits 348 Branches 121 Tags 100 MiB
f2b060e68d
Commit Graph

4 Commits

Author SHA1 Message Date
Kamil Śliwak
f2b060e68d prepare_report: Handle internal compiler errors in Standard JSON as errors, not missing bytecode 2020-12-22 07:51:50 +01:00
Kamil Śliwak
b3922bc300 prepare_report: Add command-line options for switching between SMT pragma stripping and only disabling the SMT checker 2020-12-22 07:51:48 +01:00
Kamil Śliwak
d71de88bc1 prepare_report.py: Add support for switching between CLI and Standard JSON compiler interfaces 2020-12-22 07:50:28 +01:00
Kamil Śliwak
88d2a923ae Create unit tests for prepare_report.py 2020-12-22 07:34:37 +01:00