changed path for contracts

Author: rafaelsamenezes

.github/workflows/goto-transcoder.yml

@@ -30,12 +30,12 @@ jobs:
 
       # Step 2: Generate contracts programs
       - name: Generate contracts
-        run: ./scripts/run-kani.sh --kani-args --keep-temps --only-codegen --target-dir contracts
+        run: ./scripts/run-kani.sh --kani-args --keep-temps --only-codegen --target-dir kani/contracts
 
       # Debug: Check contracts
       - name: List contracts found
-        run: ls contracts
+        run: ls kani/contracts
 
       # Step 3: Run goto-transcoder
       - name: Run goto-transcoder
-        run: ./scripts/run-goto-transcoder.sh contracts checked_unchecked.*.out
+        run: ./scripts/run-goto-transcoder.sh kani/contracts checked_unchecked.*.out

scripts/run-goto-transcoder.sh

@@ -5,7 +5,7 @@ set -e
 ##############
 # PARAMETERS #
 ##############
-contract_folder=$1
+contract_folder=$1/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps
 supported_regex=$2
 unsupported_regex=neg