diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-11 08:18:44 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-11 08:18:44 +0100 |
commit | efe33ff4c85a309833a0302fd09a531c317b7ae1 (patch) | |
tree | f52d54cd91296093cb7c481c32b3caa5d91b82fc /coq | |
parent | d56beade63aa995461cad3e33d918738a9facff2 (diff) | |
download | compcert-efe33ff4c85a309833a0302fd09a531c317b7ae1.tar.gz compcert-efe33ff4c85a309833a0302fd09a531c317b7ae1.zip |
Correct test for noinline. Bug 22642
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions