search

JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
39 stars 9 forks source link

Partial compat with coq/coq#19310 #200

Closed JasonGross closed 4 months ago

JasonGross commented 4 months ago

Be more permissive in test-suite so that additional warnings of https://github.com/coq/coq/pull/19310 do not get in our way.