Provide goto-cc in performance tests

Author: tautschnig

scripts/perf-test/codebuild.yaml

@@ -80,6 +80,7 @@ Resources:
                     artifacts:
                         files:
                             - src/cbmc/cbmc
+                            - src/goto-cc/goto-cc
                             - COMMIT_INFO
                         discard-paths: yes
                 Type: !Ref RepoType
@@ -123,6 +124,7 @@ Resources:
                     artifacts:
                         files:
                             - src/cbmc/cbmc
+                            - src/goto-cc/goto-cc
                             - COMMIT_INFO
                         discard-paths: yes
                 Type: !Ref RepoType

scripts/perf-test/ec2.yaml

@@ -212,7 +212,7 @@ Resources:
                     cd /mnt
                     cd cprover-sv-comp
                     git pull
-                    mkdir -p src/cbmc/
+                    mkdir -p src/cbmc src/goto-cc
                     touch LICENSE
                     cd ..
                     mkdir -p run
@@ -292,10 +292,12 @@ Resources:
                                 --receipt-handle $msg
 
                         cd /mnt/cprover-sv-comp
-                        rm -f src/cbmc/cbmc
+                        rm -f src/cbmc/cbmc src/goto-cc/goto-cc
                         aws s3 cp s3://${S3Bucket}/${PerfTestId}/$cfg/cbmc \
                                 src/cbmc/cbmc
-                        chmod a+x src/cbmc/cbmc
+                        aws s3 cp s3://${S3Bucket}/${PerfTestId}/$cfg/goto-cc \
+                                src/goto-cc/goto-cc
+                        chmod a+x src/cbmc/cbmc src/goto-cc/goto-cc
                         make CBMC=. cbmc.zip
                         cd ../run
                         unzip ../cprover-sv-comp/cbmc.zip