Investigate conflict between --foundry-project-root
and lemmas paths
#683
Labels
bug
Something isn't working
--foundry-project-root
and lemmas paths
#683
When using
--foundry-project-root
,kontrol build
throws an error due to inability to find thelemmas.k
file specified infoundry.toml
:We should ensure that the
require
parameter gets appended to the path provided via--foundry-project-root
.The text was updated successfully, but these errors were encountered: