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

Disable test `i1306b` #1478

Closed mario-bucev closed 9 months ago

mario-bucev commented 9 months ago

i1306b is a nice test to ensure we do not regress on #1306 but it is sadly quite flaky. I have disabled it (not deleted it) and have added a variant i1306c that does not make use of non-linear arithmetic (which seems to be the cause of the issue).