Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Upgrade mpm to v1.11.5-alpha and rename spectest to integrationt-test #24

Merged
merged 3 commits into from
Apr 21, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/build_test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,10 @@ jobs:
run: |
source "$HOME/.profile"
mpm package test
- name: spec test
- name: integration test
run: |
source "$HOME/.profile"
mpm spectest
mpm integration-test
- name: move-prover-test
run: |
source "$HOME/.profile"
Expand All @@ -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
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,10 +38,10 @@ Run move prove
mpm package prove
```

Run spec test:
Run integration test:

```shell
mpm spectest
mpm integration-test
```

## Contributing
Expand All @@ -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 a spec test [spectests](../spectests), such as: `test_my_module.move`.
4. Run the spec test `mpm spectest test_my_module.move `.
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 `.
5. Run script `./script/build.sh` for build and generate documents.
6. Commit the changes and create a pull request.

Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
9 changes: 6 additions & 3 deletions scripts/dev_setup.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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.0-alpha
MPM_VERSION=v1.11.5-alpha


SCRIPT_PATH="$( cd "$( dirname "$0" )" >/dev/null 2>&1 && pwd )"
Expand Down Expand Up @@ -163,8 +163,11 @@ function install_mpm {
else
mpm_file="mpm-ubuntu-latest";
fi
curl -sL -o "${INSTALL_DIR}"mpm "https://github.com/starcoinorg/starcoin/releases/download/${MPM_VERSION}/${mpm_file}"
chmod +x "${INSTALL_DIR}"mpm
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}"
fi
}

Expand Down