bap-veriis not an executable anymore, but just a command to the main BAP frontend with all previously available options:bap veri ...- few minor updates in codebase due to the new BAP version
bap-veri is not an executable anymore, but just a command to the main BAP frontend with all previously available options: bap veri ...