 Kamil Śliwak
|
9a5db2dfed
|
prepare_report.py: Print some statistics about contracts and errors
|
2020-12-22 07:51:50 +01:00 |
|
|
Kamil Śliwak
|
15a1f74460
|
prepare_report.py: Add --force-no-optimize-yul flag to work around a bug in solc 0.6.0/0.6.1
|
2020-12-22 07:51:50 +01:00 |
|
|
Kamil Śliwak
|
2b316ea018
|
prepare_report.py: Make parsing more lax to handle output from older compiler versions
|
2020-12-22 07:51:50 +01:00 |
|
|
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 |
|