Skip to content

Commit cb8deb9

Browse files
committed
fix Install.md
1 parent 7636dc7 commit cb8deb9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ The repository mainly contains three folders: [*tool*](#tool), [*test*](#test) a
5252

5353
## Tool
5454

55-
The easiest way to use PERIOD is to use Docker. We strongly recommend installing and running our tool based on Docker. If you really want to install the tool in your host system, please see [INSTALL.md](tool/INSTALL.md) for more detail.
55+
The easiest way to use PERIOD is to use Docker. We strongly recommend installing and running our tool based on Docker. If you really want to install the tool in your host system, please see [INSTALL.md](INSTALL.md) for more detail.
5656

5757

5858
### Requirements
@@ -341,4 +341,4 @@ We used existing implementations of compared tools when available. Here are thei
341341
- IPB, IDB, DFS, PCT, Random are optimized and implemented in https://github.com/mc-imperial/sctbench.
342342
- ConVul can be downloaded on https://sites.google.com/site/detectconvul/.
343343
- UFO can be downloaded on https://github.com/parasol-aser/UFO.
344-
- Data Race detector: [TSAN](https://github.com/google/sanitizers), [FastTrack](https://github.com/microsoft/FastTrack), [Helgrind+](https://valgrind.org/docs/manual/hg-manual.html).
344+
- Data Race detector: [TSAN](https://github.com/google/sanitizers), [FastTrack](https://github.com/microsoft/FastTrack), [Helgrind+](https://valgrind.org/docs/manual/hg-manual.html).

0 commit comments

Comments
 (0)