Don't absolutize file name before passing to Coq

coq-community / run-coq-bug-minimizer

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]

MIT License

2 stars 0 forks source link

Don't absolutize file name before passing to Coq #10

Closed JasonGross closed 3 years ago

JasonGross commented 3 years ago

We instead report the pwd from the wrapped binary and then absolutize the file later on. This preserves output tests and closes math-comp/hierarchy-builder#256.