Update run-goto-transcoder.sh

Author: rafaelsamenezes

scripts/run-goto-transcoder.sh

@@ -28,6 +28,9 @@ if [ ! -d "goto-transcoder" ]; then
     cd ..
 fi
 
+print "Contracts"
+ls $contract_folder | grep -v .symtab.out > ./goto-transcoder/_contracts.txt
+
 ls $contract_folder | grep "$supported_regex" | grep -v .symtab.out > ./goto-transcoder/_contracts.txt
 
 cd goto-transcoder
@@ -43,16 +46,13 @@ while IFS= read -r line; do
     if echo "$contract" | grep -q "$unsupported_regex"; then
         continue
     fi
-    echo "$contract" >> _verified.txt
     echo "Running: goto-transcoder $contract $contract_folder/$line $contract.esbmc.goto"
     cargo run cbmc2esbmc $contract ../$contract_folder/$line $contract.esbmc.goto
     ./linux-release/bin/esbmc --binary $contract.esbmc.goto
 done < "_contracts.txt"
 
 echo "Entrypoints"
 cat _contracts.txt
-echo "Supported"
-cat _verified.txt
 
 rm _contracts.txt
 rm _verified.txt