Closed mario-bucev closed 11 months ago
ValueClasses takes a considerable amount of processing time even though it is (most of the time) a no-op.
ValueClasses
Addressed by https://github.com/epfl-lara/stainless/pull/1441
ValueClasses
takes a considerable amount of processing time even though it is (most of the time) a no-op.