m

test_vector_handlers/tox.ini

@@ -41,12 +41,12 @@ commands = pytest --basetemp={envtmpdir} -l --cov awses_test_vectors test/ --ign
 [testenv:install-mpl-runner]
 commands = 
     # Clone MPL repo to get test vectors runner source code and the Dafny version to use
-    ; git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
+    git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
     # Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file
-    ; /bin/bash -c "export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)"
-    ; /bin/bash -c "curl https://github.com/dafny-lang/dafny/releases/download/v$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)/dafny-$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)-x64-ubuntu-20.04.zip  -L -o dafny.zip"
-    ; /bin/bash -c "unzip -qq dafny.zip && rm dafny.zip"
-    ; /bin/bash -c 'export PATH="$PWD/dafny:$PATH"'
+    /bin/bash -c "export dafnyVersion=$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)"
+    /bin/bash -c "curl https://github.com/dafny-lang/dafny/releases/download/v$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)/dafny-$(grep '^dafnyVersion=' aws-cryptographic-material-providers-library/project.properties | cut -d '=' -f 2)-x64-ubuntu-20.04.zip  -L -o dafny.zip"
+    /bin/bash -c "unzip -qq dafny.zip && rm dafny.zip"
+    /bin/bash -c 'export PATH="$PWD/dafny:$PATH"'
 
     # Build MPL test vector runner from source
     make -C aws-cryptographic-material-providers-library/TestVectorsAwsCryptographicMaterialProviders/ transpile_python