diff options
Diffstat (limited to 'extra/user-scripts/valgrind-notes.md')
-rw-r--r-- | extra/user-scripts/valgrind-notes.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/extra/user-scripts/valgrind-notes.md b/extra/user-scripts/valgrind-notes.md new file mode 100644 index 0000000..1fa2e1d --- /dev/null +++ b/extra/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 +``` |