diff options
author | Andrej Dudenhefner <31094379+mrhaandi@users.noreply.github.com> | 2022-09-08 15:59:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-08 15:59:56 +0200 |
commit | 88cccb19502dfec65f7e21d0f6772ba99b1fb99d (patch) | |
tree | 368ad5555ff5459c1fdb4fa597db96664e4930f0 /test/regression/stringlit.c | |
parent | 108d60c059949e34c07719cb3ce38b8c62d27e0d (diff) | |
download | compcert-88cccb19502dfec65f7e21d0f6772ba99b1fb99d.tar.gz compcert-88cccb19502dfec65f7e21d0f6772ba99b1fb99d.zip |
Improved auto goal selection (#443)
Improves robustness in case of stronger (e)auto.
This is in preparation of a change in Coq that will make auto and eauto stronger
(https://github.com/coq/coq/pull/16293).
Diffstat (limited to 'test/regression/stringlit.c')
0 files changed, 0 insertions, 0 deletions