Skip to content

setLclEnv in solveForAll should be restoreLclEnv

I am pretty sure that the setLclEnv call in solveForAll should be a restoreLclEnv call.

See note "restoreLclEnv vs setLclEnv".

cc @simonpj

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information