Suppose that you are working with a workspace with two members, prover and lib and you provide the path to prover for proof generation. prover's main imports from lib with a relative path, which gets broken during the proof steps due to how files are moved around.
Solution is simply using an absolute path, but still leaving this issue here as a tracker 👍🏻
Suppose that you are working with a workspace with two members,
proverandliband you provide the path toproverfor proof generation.prover's main imports fromlibwith a relative path, which gets broken during the proof steps due to how files are moved around.Solution is simply using an absolute path, but still leaving this issue here as a tracker 👍🏻