search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Add mapTr benchmark #1421

Closed drganam closed 1 year ago

drganam commented 1 year ago

Adding an example from the FP course

mario-bucev commented 1 year ago

Ah yes, the Scala 2 frontend is still here, I've forgot about it sorry! The benchmark should be moved to benchmarks/dotty-specific/valid

drganam commented 1 year ago

True, I also forgot.

I moved it, and it seems that it does not break anything now.