search

uuverifiers / eldarica

The Eldarica model checker
Other
80 stars 23 forks source link

Specific version commit in binary #45

Closed leonardoalt closed 2 years ago

leonardoalt commented 2 years ago

It would be great for reproducibility if the eld binary could output the commit hash (or the first bytes, git style) with -v or something. My current issue is I had a version of Eldarica that worked on some benchmarks but I have a bunch of Eldarica versions on my machine (I use nightlies a lot) and now I can't remember which it was :smiling_face_with_tear: . Granted, my fault, but commit hashes would help in general I think

pruemmer commented 2 years ago

Thanks for the bug report! In fact we used to add the date of the nightly build in the binary, but the script doing that apparently stopped working a while ago, and nobody noticed. I have fixed this now; from tomorrow, when you run ./eld -h the date of the build should be listed in the first line.

leonardoalt commented 2 years ago

Awesome! I confirm it is working now. Thanks!