search

crytic / tealer

Static Analyzer for Teal
GNU Affero General Public License v3.0
61 stars 14 forks source link

Move print-cfg to a separate printer #155

Closed S3v3ru5 closed 1 year ago

S3v3ru5 commented 1 year ago

Tealer has additional argument --print-cfg to export CFG of the contract. Having a separate command to export cfg is non-uniform. This PR adds a separate printer class to export CFG. CFG is now listed as a printer and can be run by

$ tealer program.teal --print cfg

This PR also adds WIKI_URL to the AbstractPrinter class and all printer classes.