Symlink run-cbmc-proofs.py to starter kit

The run script is now a symbolic link into the starter kit submodule, meaning that it will be updated whenever the starter kit is. This is done iso that E-SDK doesn't carry custom modifications to the run script unless necessary; previous commits have made the E-SDK proofs consistent with the generic starter kit conventions.
aws · Jul 12, 2021 · 79526fd · 79526fd
1 parent 6be7b1f
commit 79526fd
Showing 1 changed file with 1 addition and 258 deletions.
diff --git a/verification/cbmc/proofs/run-cbmc-proofs.py b/verification/cbmc/proofs/run-cbmc-proofs.py
diff --git a/verification/cbmc/proofs/run-cbmc-proofs.py b/verification/cbmc/proofs/run-cbmc-proofs.py
@@ -0,0 +1 @@
+../templates/template-for-repository/proofs/run-cbmc-proofs.py