Open lemmy opened 9 months ago
Hy, @lemmy. Thanks for the issue.
We add those extends by automatically.
Could you describe what kind of negative impact this is having for to help us triage?
The EXTENDS introduces a dependency on Apalache where there was no dependency on any specific tool before. For example, TLAPS won't parse the spec unless the Apalache and TLC module are on its library path.