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 /test/spass/term.c | |
parent | bbf922a184764a8f79b9e45dd302879568504703 (diff) | |
download | compcert-1c4e0ece041f87cc0c328c94270f2b23facc8b77.tar.gz compcert-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 'test/spass/term.c')
0 files changed, 0 insertions, 0 deletions