Implement `-v` or `--version`

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

Implement `-v` or `--version` #800

Closed aehyvari closed 1 week ago

aehyvari commented 2 weeks ago

To be able to double-check that the user is running the version they think they are, it'd be important to implement a command-line option for getting the version of opensmt. I.e.,

$ opensmt -v
v2.8.0
$ opensmt --version
v2.8.0