Add covariant List and Option to the library

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

349 stars 51 forks source link

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

As requested by @vkuncak. Removes the CovariantList benchmark since it is now in the library.