Revision indexing in progress... (symbol navigation in revisions will be accurate after indexed)
Total 1 files
■ ■ ■ ■ ■ ■
README.md
skipped 36 lines
37
37
38
38
- if you want to use Valgrind DRD or Helgrind, you should do `make DEBUG=1 VALGRIND=1`. The option `VALGRIND=1` adds some instruction allowing Valgrind bypass atomic operations that usually causes false positive errors in Valgrind.
39
39
40
-
# Execution
40
+
# Usage
41
41
42
-
mmt-5greplay command uses the following form: `command [option]`
42
+
5Greplay command uses the following form: `command [option]`
43
43
44
44
- command : is one of the following `compile`, `info`, `replay`
45
45
- option : run "./mmt-5greplay command -h" to get option of each command
Zujany Salazar
committed
with
GitHub
3 years ago
1 parent 9f594270