From 230f64d71b495cb3308db3bbb446d2ed3d7493fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= Date: Wed, 6 Aug 2025 10:36:38 +0100 Subject: [PATCH 1/2] Goto transcoder: updated esbmc mirror --- scripts/run-goto-transcoder.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/run-goto-transcoder.sh b/scripts/run-goto-transcoder.sh index a662ca75a69f9..f44ccf092ffda 100755 --- a/scripts/run-goto-transcoder.sh +++ b/scripts/run-goto-transcoder.sh @@ -10,7 +10,7 @@ supported_regex=$2 unsupported_regex=neg goto_transcoder_git=https://github.com/esbmc/goto-transcoder -esbmc_url=https://github.com/esbmc/esbmc/releases/download/nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7/esbmc-linux.zip +esbmc_url=https://github.com/esbmc/esbmc/releases/download/v7.10/esbmc-linux.zip ########## # SCRIPT # From 3b79b5e015a9a3d4cd61b86b9611b4fb966cd519 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= Date: Wed, 6 Aug 2025 11:08:37 +0100 Subject: [PATCH 2/2] Update run-goto-transcoder.sh --- scripts/run-goto-transcoder.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run-goto-transcoder.sh b/scripts/run-goto-transcoder.sh index f44ccf092ffda..e11a012ed4556 100755 --- a/scripts/run-goto-transcoder.sh +++ b/scripts/run-goto-transcoder.sh @@ -24,7 +24,7 @@ if [ ! -d "goto-transcoder" ]; then cd goto-transcoder wget $esbmc_url unzip esbmc-linux.zip - chmod +x ./linux-release/bin/esbmc + chmod +x ./bin/esbmc cd .. fi @@ -45,7 +45,7 @@ while IFS= read -r line; do fi echo "Running: goto-transcoder $contract $contract_folder/$line $contract.esbmc.goto" cargo run cbmc2esbmc ../$contract_folder/$line $contract.esbmc.goto - ./linux-release/bin/esbmc --cprover --function $contract --binary resources/library.goto $contract.esbmc.goto + ./bin/esbmc --cprover --function $contract --binary resources/library.goto $contract.esbmc.goto done < "_contracts.txt" rm "_contracts.txt"