Thread `-top` from failing coqc

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

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

Fix #219

SkySkimmer commented 2 months ago

Did this break the minimizer?

JasonGross commented 2 months ago

Ah, yeah, sorry, it broke one of the tests, I was too eager in merging it, let me fix this

JasonGross commented 2 months ago

Hopefully fixed by aa177d0640608ac59040d94e6403736bd3e549f6