Revert "Upgrade mpm to v1.11.5-alpha and rename spectest to `integr…

…ationt-test` (#24)"

This reverts commit a35c3f7.

.github/workflows/build_test.yml

@@ -25,10 +25,10 @@ jobs:
         run: |
           source "$HOME/.profile"
           mpm package test
-      - name: integration test
+      - name: spec test
         run: |
           source "$HOME/.profile"
-          mpm integration-test
+          mpm spectest
       - name: move-prover-test
         run: |
           source "$HOME/.profile"
@@ -39,4 +39,4 @@ jobs:
           source "$HOME/.profile"
           bash ./scripts/build.sh
       - name: check changed files
-        run: bash ./scripts/changed_files.sh
+        run: bash ./scripts/changed-files.sh

README.md

@@ -38,10 +38,10 @@ Run move prove
 mpm package prove
 ```
 
-Run integration test:
+Run spec test:
 
 ```shell
-mpm integration-test
+mpm spectest
 ```
 
 ## Contributing
@@ -58,8 +58,8 @@ Contributions in the following are welcome:
 
 1. Add New Move module to `sources` dir, such as `MyModule.move`.
 2. Write Move code and add unit test in the module file.
-3. Add an integration test to [tests](../tests) dir, such as: `test_my_module.move`.
-4. Run the integration test `mpm integration-test test_my_module.move `.
+3. Add a spec test [spectests](../spectests), such as: `test_my_module.move`.
+4. Run the spec test `mpm spectest test_my_module.move `.
 5. Run script `./script/build.sh` for build and generate documents.
 6. Commit the changes and create a pull request.
 

scripts/dev_setup.sh

@@ -19,7 +19,7 @@ Z3_VERSION=4.8.13
 CVC5_VERSION=0.0.3
 DOTNET_VERSION=5.0
 BOOGIE_VERSION=2.9.6
-MPM_VERSION=v1.11.5-alpha
+MPM_VERSION=v1.11.0-alpha
 
 
 SCRIPT_PATH="$( cd "$( dirname "$0" )" >/dev/null 2>&1 && pwd )"
@@ -163,11 +163,8 @@ function install_mpm {
       else
         mpm_file="mpm-ubuntu-latest";
       fi
-      curl -sL -o "${INSTALL_DIR}${mpm_file}.zip" "https://github.com/starcoinorg/starcoin/releases/download/${MPM_VERSION}/${mpm_file}.zip"
-      unzip -q "${INSTALL_DIR}${mpm_file}.zip" -d "${INSTALL_DIR}"
-      mv "${INSTALL_DIR}${mpm_file}/mpm" "${INSTALL_DIR}mpm"
-      chmod +x "${INSTALL_DIR}mpm"
-      rmdir "${INSTALL_DIR}${mpm_file}"
+      curl -sL -o "${INSTALL_DIR}"mpm "https://github.com/starcoinorg/starcoin/releases/download/${MPM_VERSION}/${mpm_file}"
+      chmod +x "${INSTALL_DIR}"mpm
     fi
 }