This printer adds information about possible values of each transaction field. Currently supports group-size and group-indices.
Possible values of a transaction field F are defined as: What values can F have so that the contract execution would not fail.
Possible values are defined for each basic block B: What values can F have so that contract execution starting from B would not fail.
This PR also updates behavior --print command line option. After this
change, detectors are not ran by default when --print is used. Users can run detectors and printers but they should explicitly select the detectors and printers.
This printer adds information about possible values of each transaction field. Currently supports group-size and group-indices. Possible values of a transaction field
F
are defined as: What values can F have so that the contract execution would not fail.Possible values are defined for each basic block B: What values can F have so that contract execution starting from
B
would not fail.This PR also updates behavior
--print
command line option. After this change, detectors are not ran by default when--print
is used. Users can run detectors and printers but they should explicitly select the detectors and printers.Printer Example: