diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-08 16:02:52 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-08 16:02:52 +0100 |
| commit | 1c4e0ece041f87cc0c328c94270f2b23facc8b77 (patch) | |
| tree | 64a4d26d1f267edb1f3dc9284e2468c32335f466 /doc/ccomp.1 | |
| parent | bbf922a184764a8f79b9e45dd302879568504703 (diff) | |
| download | compcert-kvx-1c4e0ece041f87cc0c328c94270f2b23facc8b77.tar.gz compcert-kvx-1c4e0ece041f87cc0c328c94270f2b23facc8b77.zip | |
Print symbols as symbols.
This allows us to replacing them by their address in valex and
additionally checking them.
Bug 22438
Diffstat (limited to 'doc/ccomp.1')
0 files changed, 0 insertions, 0 deletions