From 7275c6114ad9e84e724c66f9c5dcf17a9f4daeb1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= Date: Mon, 5 May 2025 15:23:16 +0100 Subject: [PATCH] moved goto-transcoder repo --- 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 a29dfbd34b492..25c6fbcbc81a5 100755 --- a/scripts/run-goto-transcoder.sh +++ b/scripts/run-goto-transcoder.sh @@ -9,7 +9,7 @@ contract_folder=$1/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps supported_regex=$2 unsupported_regex=neg -goto_transcoder_git=https://github.com/rafaelsamenezes/goto-transcoder +goto_transcoder_git=https://github.com/esbmc/goto-transcoder esbmc_url=https://github.com/esbmc/esbmc/releases/download/nightly-7867f5e5595b9e181cd36eb9155d1905f87ad241/esbmc-linux.zip ##########