diff options
Diffstat (limited to 'www/reliability.html')
| -rw-r--r-- | www/reliability.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/reliability.html b/www/reliability.html index b00b8adf..a47cb7b9 100644 --- a/www/reliability.html +++ b/www/reliability.html @@ -138,7 +138,7 @@ small a fraction of the state space as we can.</p> <p>We also use <a href='http://valgrind.org/'>valgrind</a> to check for memory leaks, though this is not expected to turn up bugs (and -doesn't) due to our no-dynamic-allocation <a href="hacking#malloc.html">house +doesn't) due to our no-dynamic-allocation <a href="hacking.html#malloc">house rule</a>.</p> <h2>We are methodical and merciless</h2> |