Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump copyright years in ikos CLI tool (c) notice (#249).
The copyright years reported by IKOS when executed with --version from the command line does not include the latest changes. This commit updates the Copyright notice presented to users when run from the command-line to include the current year.
- Loading branch information