Open bbyalcinkaya opened 1 month ago
We've noticed some users are running into issues when the repo isn't cloned with all the submodules. We should update the installation instructions to include cloning with submodules:
git clone --recurse-submodules git@github.com:runtimeverification/mx-semantics.git
We've noticed some users are running into issues when the repo isn't cloned with all the submodules. We should update the installation instructions to include cloning with submodules: