diff options
Diffstat (limited to 'user-scripts/valgrind-notes.md')
| -rw-r--r-- | user-scripts/valgrind-notes.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/user-scripts/valgrind-notes.md b/user-scripts/valgrind-notes.md new file mode 100644 index 0000000..1fa2e1d --- /dev/null +++ b/user-scripts/valgrind-notes.md @@ -0,0 +1,9 @@ +In case you arrive at a segmentation fault when working on rose, you can use valgrind. + +To do this, you can compile rose with the `DEBUG` value in `build.sh` set to `-g` + +and then: + +``` +valgrind --track-origins=yes ./rose +``` |