Turn measure inference back on

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Turn measure inference back on #165

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Turned off somewhere around here because it was causing trouble, measure inference can now be turned back on. Stainless seems to have worked out the related problems.

Closes #86.