added --target-dir to kani output

Author: rafaelsamenezes

.github/workflows/goto-transcoder.yml

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

scripts/run-goto-transcoder.sh

@@ -5,8 +5,8 @@ set -e
 ##############
 # PARAMETERS #
 ##############
-contract_folder=target/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps
-supported_regex=$1
+contract_folder=$1
+supported_regex=$2
 unsupported_regex=neg
 
 goto_transcoder_git=https://github.com/rafaelsamenezes/goto-transcoder