| sewardj | a9a2dcf | 2002-11-11 00:20:07 +0000 | [diff] [blame] | 1 | <html> |
| 2 | <head> |
| 3 | <style type="text/css"> |
| 4 | body { background-color: #ffffff; |
| 5 | color: #000000; |
| 6 | font-family: Times, Helvetica, Arial; |
| 7 | font-size: 14pt} |
| 8 | h4 { margin-bottom: 0.3em} |
| 9 | code { color: #000000; |
| 10 | font-family: Courier; |
| 11 | font-size: 13pt } |
| 12 | pre { color: #000000; |
| 13 | font-family: Courier; |
| 14 | font-size: 13pt } |
| 15 | a:link { color: #0000C0; |
| 16 | text-decoration: none; } |
| 17 | a:visited { color: #0000C0; |
| 18 | text-decoration: none; } |
| 19 | a:active { color: #0000C0; |
| 20 | text-decoration: none; } |
| 21 | </style> |
| 22 | <title>Cachegrind</title> |
| 23 | </head> |
| 24 | |
| 25 | <body bgcolor="#ffffff"> |
| 26 | |
| 27 | <a name="title"></a> |
| 28 | <h1 align=center>Nulgrind</h1> |
| 29 | <center>This manual was last updated on 2002-10-02</center> |
| 30 | <p> |
| 31 | |
| 32 | <center> |
| 33 | <a href="mailto:njn25@cam.ac.uk">njn25@cam.ac.uk</a><br> |
| njn | 0e1b514 | 2003-04-15 14:58:06 +0000 | [diff] [blame^] | 34 | Copyright © 2000-2003 Nicholas Nethercote |
| sewardj | a9a2dcf | 2002-11-11 00:20:07 +0000 | [diff] [blame] | 35 | <p> |
| 36 | Nulgrind is licensed under the GNU General Public License, |
| 37 | version 2<br> |
| 38 | Nulgrind is a Valgrind skin that does not very much at all. |
| 39 | </center> |
| 40 | |
| 41 | <p> |
| 42 | |
| 43 | <h2>1 Nulgrind</h2> |
| 44 | |
| 45 | Nulgrind is the minimal skin for Valgrind. It does no initialisation or |
| 46 | finalisation, and adds no instrumentation to the program's code. It is mainly |
| 47 | of use for Valgrind's developers for debugging and regression testing. |
| 48 | <p> |
| 49 | Nonetheless you can run programs with Nulgrind. They will run roughly 5-10 |
| 50 | times more slowly than normal, for no useful effect. Note that you need to use |
| 51 | the option <code>--skin=none</code> to run Nulgrind (ie. not |
| 52 | <code>--skin=nulgrind</code>). |
| 53 | |
| 54 | <hr width="100%"> |
| 55 | </body> |
| 56 | </html> |
| 57 | |