Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
just a minor update: `bap-veri` is not an executable anymore, but just a command to the main BAP frontend
- Loading branch information