this repo has no description
Add doc for UBSAN
authored by
Max Bernstein
6d57ee64
10dc3960
+9
+9
doc/INSTALL.md
+9
doc/INSTALL.md
···
55
55
-DCMAKE_BUILD_TYPE=DebugOpt // -O2 -g with debug checks but faster
56
56
-DCMAKE_BUILD_TYPE=RelWithDebInfo // like a release build but has debug symbols -- useful for callgrind
57
57
```
58
+
58
59
To run tests with address sanitizer (ASAN), add
59
60
60
61
```
···
62
63
```
63
64
64
65
*before* the platform. Like `cmake -DSKYBISON_ASAN=1 ...`
66
+
67
+
To run tests with the undefined behavior sanitizer (UBSAN), add
68
+
69
+
```
70
+
-DSKYBISON_UBSAN=1
71
+
```
72
+
73
+
*before* the platform. Like `cmake -DSKYBISON_UBSAN=1 ...`
65
74
66
75
Since you will likely have several `build-XYZ` folders hanging around, and it's
67
76
useful for those not to show up in `git status`, they should be ignored by