projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65e8b07) | patch
fix link to `Testing cvc5` in `INSTALL.md` (#8675)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 4 May 2022 20:35:32 +0000 (23:35 +0300)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 20:35:32 +0000 (20:35 +0000)
commitab9a43da3cc47c469ea02417431879d4bfbd5709
treee501f22a3666994a87ac2cf886d34a19c9340395tree
parent65e8b07964b4115bedee139cb88e5f866b3a8df6commit | diff
fix link to `Testing cvc5` in `INSTALL.md` (#8675)

The current link renders strangely and does not lead to the relevant subsection. This PR fixes that.
INSTALL.rst diff | blob | history