added latest esbmc version

Author: rafaelsamenezes

.github/workflows/rust.yml

@@ -17,7 +17,7 @@ jobs:
       run: wget https://github.com/diffblue/cbmc/releases/download/cbmc-6.3.1/ubuntu-22.04-cbmc-6.3.1-Linux.deb && sudo dpkg -i ubuntu-22.04-cbmc-6.3.1-Linux.deb && goto-cc --version
     - uses: actions/checkout@v4
     - name: Install ESBMC
-      run: wget https://github.com/esbmc/esbmc/releases/download/nightly-7867f5e5595b9e181cd36eb9155d1905f87ad241/esbmc-linux.zip && unzip esbmc-linux.zip && chmod +x ./linux-release/bin/esbmc && ./linux-release/bin/esbmc --version
+      run: wget https://github.com/esbmc/esbmc/releases/download/nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7/esbmc-linux.zip && unzip esbmc-linux.zip && chmod +x ./linux-release/bin/esbmc && ./linux-release/bin/esbmc --version
     - name: Build
       run: cargo build --verbose
     - name: Test