Add flatMap to the set class in the library

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

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

Apache License 2.0

359 stars 53 forks source link

Add flatMap to the set class in the library #1588

Closed samuelchassot closed 1 month ago

samuelchassot commented 1 month ago

One test is failing:

[info] SatPrecondVerificationSuite:

[info] -  12: sat-precondition/valid/SATPrecond4 solvr=princess lucky=false check=true codegen=false sat-precond=true *** FAILED *** (5 minutes, 0 seconds)

I'm looking into it.

samuelchassot commented 1 month ago

It passes locally. It is maybe a timeout issue.

samuelchassot commented 1 month ago

I just ignored it with Princess