Skip to content

Commit

Permalink
Update link paths
Browse files Browse the repository at this point in the history
Closes: diem#19
  • Loading branch information
0xzoz authored and bors-libra committed Jan 21, 2022
1 parent d253bf1 commit 7e593a2
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions language/tools/move-cli/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -73,11 +73,11 @@ $ move package prove -p <path> # Verify the specifications in the package at <pa
```

In order to run the Move Prover [additional tools need to be
installed](https://github.com/diem/diem/blob/main/language/move-prover/doc/user/install.md).
installed](https://github.com/diem/move/blob/main/language/move-prover/doc/user/install.md).
Information on the Move Prover and its configuration options can be found
[here](https://github.com/diem/diem/blob/main/language/move-prover/doc/user/prover-guide.md)
[here](https://github.com/diem/move/blob/main/language/move-prover/doc/user/prover-guide.md)
and
[here](https://github.com/diem/diem/blob/main/language/move-prover/doc/user/spec-lang.md).
[here](https://github.com/diem/move/blob/main/language/move-prover/doc/user/spec-lang.md).

You can also run unit tests in a package using the `test` command

Expand Down Expand Up @@ -128,7 +128,7 @@ directory:
Std = "0x1" # Specify and assign 0x1 to the named address "Std"

[dependencies]
MoveNursery = { git = "https://github.com/diem/diem.git", subdir = "language/move-stdlib/nursery", rev = "d45f20a" }
MoveNursery = { git = "https://github.com/diem/move.git", subdir = "language/move-stdlib/nursery", rev = "d45f20a" }
# ^ ^ ^ ^
# Git dependency Git clone URL Subdir under git repo (optional) Git revision to use
```
Expand Down Expand Up @@ -453,7 +453,7 @@ address the need for code coverage information with an additional flag,
`--track-cov`, that can be passed to the `move sandbox exp-test` command.
Note: To view coverage information, the Move CLI must be installed with the `--debug` flag;
i.e., `cargo install --debug --path diem/language/tools/move-cli`.
i.e., `cargo install --debug --path move/language/tools/move-cli`.
Using our running example to illustrate:
```shell
Expand Down

0 comments on commit 7e593a2

Please sign in to comment.