diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-10 10:30:04 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-10 10:30:04 +0200 |
commit | 9c104c8d0a7e04ed2339ccd0c18600e479351a00 (patch) | |
tree | 69811b22ac6d9b7c4f0945074b9219006a1f4cc7 /test/c/Results/bisect | |
parent | 9d85d044fad9d35efe2612b7a5518f7f9074572f (diff) | |
download | compcert-9c104c8d0a7e04ed2339ccd0c18600e479351a00.tar.gz compcert-9c104c8d0a7e04ed2339ccd0c18600e479351a00.zip |
Name of stwcx. instruction should be printed Pstwcx_.
Diffstat (limited to 'test/c/Results/bisect')
0 files changed, 0 insertions, 0 deletions