Closed pjonsson closed 4 years ago
The test output is not stable with respect to changes that renumber variables in the frontend. Make fromCoreUT start numbering its own variables from 0 and just return the Module.
The test output is not stable with respect to changes that renumber variables in the frontend. Make fromCoreUT start numbering its own variables from 0 and just return the Module.