theta icon indicating copy to clipboard operation
theta copied to clipboard
verified publisher icon ftsrg

xsts-cli: add --version flag

Open AdamZsofi opened this issue 1 year ago • 1 comments

xcfa-cli got a --version flag a few years ago, when we started competing at SV-COMP. Somehow similar use cases have missed the xsts-cli, but I think it is time we added it there as well. It is especially useful, if you Theta jar is renamed for any reason, as in that case, I don't think there is any way of knowing the version currently.

AdamZsofi avatar Jan 21 '25 09:01 AdamZsofi

Extra info:

  • --version shows "no such option",
  • while CEGAR --version actually shows CEGAR version 6.8.6 - where I'm not sure if CEGAR means anything..? (but the number is correct)

AdamZsofi avatar Jan 21 '25 09:01 AdamZsofi

Extra info:

  • --version shows "no such option",
  • while CEGAR --version actually shows CEGAR version 6.8.6 - where I'm not sure if CEGAR means anything..? (but the number is correct)

The XstsCliBaseCommand could already handle the version flag, all subcommands (CEGAR, BOUNDED, MDD, ...) extend this base command, meaning you could already issue --version with any of them. I added this option to the main command in #466

mondokm avatar Dec 01 '25 15:12 mondokm